Compositional Theories of Qualitative and Quantitative Behaviour


Share/Save/Bookmark

Brinksma, Ed (2003) Compositional Theories of Qualitative and Quantitative Behaviour. In: 24th International Conference on Applications and Theory of Petri Nets, ICATPN, June 23-27, 2003, Eindhoven, The Netherlands (pp. pp. 37-42).

open access
[img]
Preview
PDF
104kB
Abstract:The integrated modelling and analysis of functional and non-functional aspects of system behaviour is one of the important challenges in the field of formal methods today. Our ever-increasing dependence upon of all sorts of critical applications of networked and/or embedded systems, often including sophisticated multi-media features, lends this intellectual challenge also great practical relevance. In this talk we will report on work in this area in the past decade or so on the use of techniques from so-called formal methods in the area of performance modelling and analysis, and in particular on the theory of stochastic process algebra (SPA) and its application.
Item Type:Conference or Workshop Item
Copyright:© Springer 2003
Research Group:
Link to this item:http://purl.utwente.nl/publications/47325
Official URL:http://dx.doi.org/10.1007/3-540-44919-1_5
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 217657