Cited in
(12)- An effective data transmission algorithm based on social relationships in opportunistic mobile social networks
- scientific article; zbMATH DE number 1956495 (Why is no real title available?)
- 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
- APTS
- TAME
- 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