5525 search results - page 409 / 1105 » Verification of Model Transformations |
198
click to vote
GG
2010
Springer
15 years 7 months ago
2010
Springer
I briefly review the history of the unfolding approach to model checking. Carl Adam Petri passed away on July 2, 2010. I learnt about his death three days later, a few hours after ...
197
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
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...
171
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
From an external perspective, cognitive agent behaviour can be described by specifying (temporal) correlations of a certain complexity between stimuli (input states) and (re)actio...
165
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
: This research investigated the simulation model behaviour of a traditional and combined discrete event as well as agent based simulation models when modelling human reactive and ...
183
click to vote
TSMC
2010
15 years 1 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...