9 search results - page 1 / 2 » Modelling and Validation: AUTOFOCUS and Quest |
FAC
2000
13 years 4 months ago
2000
APSEC
1999
IEEE
13 years 9 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
ESA
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The small world phenomenon, a.k.a. the six degree of separation between individuals, was identified by Stanley Milgram at the end of the 60s. Milgram experiment demonstr...
WSC
2000
13 years 6 months ago
2000
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...