T. Scott Ankrum

1.3.3 Are Formal Methods Ready for Prime Time

T. Scott Ankrum, 2000 .

Structured assurance cases: three common standards

T. Scott Ankrum, Alfred H. Kromholz, 2005, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05).

2.6.1 Germany's V‐2 Rocket Program and the Application of Systems Engineering

T. Scott Ankrum, 2000 .

Computing legacy software behavior to understand functionality and security properties: an IBM/370 demonstration

Stacy J. Prowell, Richard C. Linger, Mark G. Pleszkoch, 2013, CSIIRW '13.

ZML : Z Formal Specifications Using XML

T. Scott Ankrum, 2003 .