An Automated Mapping of Timed Functional Specification to a Precision Timed Architecture.
Shanna-Shaye ForbesHiren D. PatelEdward A. LeeHugo A. AndradePublished in: DS-RT (2008)
Keyphrases
- colored petri nets
- petri net
- timed automata
- reactive systems
- management system
- semi automated
- real time
- discrete event
- automated analysis
- fully automated
- high precision
- software architecture
- mobile robot
- multi agent systems
- web services
- model checking
- precision and recall
- network architecture
- ontology mapping
- high level
- high recall
- website
- artificial intelligence
- data sets