swMATH6939MaRDI QIDQ19003FDOQ19003
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/S1570868312000584
Cited In (11)
- 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
- TAME
- 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
