SCR
From MaRDI portal
Software:19003
No author found.
Related Items (10)
Unnamed Item ⋮ Program synthesis from formal requirements specifications using APTS ⋮ Information gain of black-box testing ⋮ On the order of test goals in specification-based testing ⋮ Lightweight validation of natural language requirements ⋮ Defining the meaning of tabular mathematical expressions ⋮ A document driven methodology for developing a high quality parallel mesh generation toolbox ⋮ An axiom system for sequence-based specification ⋮ An effective data transmission algorithm based on social relationships in opportunistic mobile social networks ⋮ TAME: Using PVS strategies for special-purpose theorem proving
This page was built for software: SCR
