Showing results 1 to 1 of 1
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 |
Discover