Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?
Boudewijn R. HaverkortPublished in: FORMATS (2011)
Keyphrases
- computer systems
- colored petri nets
- formal analysis
- reactive systems
- statistical analysis
- petri net
- key technologies
- statistical modeling
- data driven approaches
- multi agent systems
- enabling technologies
- enabling technology
- technical issues
- technological advances
- support systems
- formal model
- complex systems
- electronic commerce
- intelligent systems