5707 search results - page 5 / 1142 » Symbolic Simulation - Techniques and Applications |
APSEC
2002
IEEE
14 years 16 days ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
FMCAD
1998
Springer
13 years 11 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
CAV
2004
Springer
14 years 29 days ago
2004
Springer
