Sciweavers

16832 search results - page 39 / 3367
» Scenario Based Evaluation
Sort
View
CN
2002
66views more  CN 2002»
13 years 9 months ago
Protocol animation based on event-driven visualization scenarios in real-time LOTOS
Keiichi Yasumoto, Takaaki Umedu, Hirozumi Yamaguch...
FM
2009
Springer
146views Formal Methods» more  FM 2009»
13 years 7 months ago
Verifying Real-Time Systems against Scenario-Based Requirements
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...