Formal verification of functional properties of a SCR-style software requirements specification using PVS
Year of publication: |
2005
|
---|---|
Authors: | Kim, Taeho ; Stringer-Calvert, David ; Cha, Sungdeok |
Published in: |
Reliability engineering & system safety. - London : Elsevier, ISSN 0951-8320, ZDB-ID 612029. - Vol. 87.2005, 3, p. 351-364
|
Saved in:
Saved in favorites
Similar items by person
-
Kim, Taeho, (2004)
-
Synthesis of FBD-based PLC design from NuSCR formal specification
Yoo, Junbeom, (2005)
-
Systematic evaluation of fault trees using real-time model checker UPPAAL
Cha, Sungdeok, (2003)
- More ...