85 search results - page 12 / 17 » Specification, validation, and verification of time-critical... |
WSC
2004
13 years 8 months ago
2004
Factory physics provides a systematic description, expressed as laws, of the underlying behavior of a system. These laws can provide important assistance in performing simulation ...
EMSOFT
2008
Springer
13 years 8 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
SIGSOFT
2007
ACM
14 years 7 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
DATE
2004
IEEE
13 years 10 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
ISTA
2004
13 years 8 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...