3765 search results - page 378 / 753 » Formal Methods for Systems Engineering Behavior Models |
200
click to vote
WSC
1997
15 years 8 months ago
1997
In Department of Defense (DoD) distributed training simulations, events occur that can cause unrealistic behavior. These events can be system events, such as the loss of a hostor ...
200
click to vote
RE
1999
Springer
15 years 11 months ago
1999
Springer
Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As R...
182
click to vote
AIPS
2003
15 years 8 months ago
2003
As genomic and proteomic data is collected from highthroughput methods on a daily basis, subcellular components are identified and their in vitro behavior is characterized. Howev...
173
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
200
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...