577 search results - page 98 / 116 » Model Checking Based on Simultaneous Reachability Analysis |
EON
2008
13 years 11 months ago
2008
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...
BMCBI
2005
13 years 10 months ago
2005
Background: As the use of microarray technology becomes more prevalent it is not unusual to find several laboratories employing the same microarray technology to identify genes re...
ICST
2008
IEEE
14 years 4 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
SMI
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents a method to simulate growth phenomena, and its application to the modeling of complex organic shapes (e.g., plants organs) and folded surfaces. Our main contri...
IANDC
2007
13 years 10 months ago
2007
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...