3765 search results - page 8 / 753 » Formal Methods for Systems Engineering Behavior Models |
FM
2005
Springer
14 years 2 months ago
2005
Springer
ASWEC
2004
IEEE
14 years 10 days ago
2004
IEEE
EUROMICRO
2000
IEEE
14 years 1 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
WER
1998
Springer
14 years 24 days ago
1998
Springer
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. I...
ASPDAC
2004
ACM
14 years 10 days ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...