37 search results - page 8 / 8 » Timed automaton models for simple programmable logic control... |
HASE
1998
IEEE
13 years 10 months ago
1998
IEEE
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...
TPHOL
2007
IEEE
14 years 1 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...