Formal methods, IV&V
- Comprehensive I V & V -- extending the meaning of IV&V (pdf file -- 801 kB)
- Formal methods for railways safety -- are we in the right train ? (pdf file -- 836 kB)
- I V & V services from Algologic (pdf file -- 862 kB)
- A closer look at non-functional requirements. (pdf file, 202 kB, external author)
|