Quantitative and qualitative extensions of event structures


Share/Save/Bookmark

Katoen, Joost-Pieter (1996) Quantitative and qualitative extensions of event structures. thesis.

open access
[img]
Preview
PDF
2MB
Abstract:An important application of formal methods is the specification, design, and analysis of functional aspects of (distributed) systems. Recently the study of quantitative aspects of such systems based on formal methods has come into focus. Several extensions of formal methods where the occurrence of actions can be assigned a (fixed) probability and/or the time of occurrence of actions can be constrained are known from the literature.
Item Type:Thesis
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/58113
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 118417