The Formal Modelling and Verification Group is active in the the following areas:
-
Modelling Concurrent Systems (Theoretical Issues)
- Petri Nets
- Communicating Sequential Processes
- Modelling and verification of heterogeneous systems
- Language and semantic support for systems level design
- Representation of functional and constraint information
- Component based verification of dataflow process networks
Collections in this community
Formal Modelling publications
1
Formal Modelling publications
Discover
Date issued
- 1 2011