Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Recent Talks
All Talks
Publications
Recent Publications
All Publications
Projects
Recent Projects
All Projects
Sirius
Service
Recent Service
All Service
Teaching
Contact
Light
Dark
Automatic
Lars Michael Kristensen
Latest
Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets
Translating active objects into colored Petri nets for communication analysis
Using Coloured Petri Nets for Resource Analysis of Active Objects
Cite
×