SCR
From MaRDI portal
Software:19003
swMATH6939MaRDI QIDQ19003FDOQ19003
Author name not available (Why is that?)
Cited In (10)
- Title not available (Why is that?)
- An effective data transmission algorithm based on social relationships in opportunistic mobile social networks
- Defining the meaning of tabular mathematical expressions
- Lightweight validation of natural language requirements
- A document driven methodology for developing a high quality parallel mesh generation toolbox
- On the order of test goals in specification-based testing
- Information gain of black-box testing
- An axiom system for sequence-based specification
- Program synthesis from formal requirements specifications using APTS
- TAME: Using PVS strategies for special-purpose theorem proving
This page was built for software: SCR
