Showing results 1 to 2 of 2
Formal verification of functional properties of a SCR-style software requirements specification using PVS Kim, T; Stringer-Calvert, D; Cha, Sungdeok, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.87, no.3, pp.351 - 363, 2005-03 |
Software design specification and analysis technique (SDSAT) for the development of safety-critical systems based on a programmable logic controller (PLC) Koo, SR; Seong, Poong-Hyun, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.91, no.6, pp.648 - 664, 2006-06 |
Discover