List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Translation templates to support strategy development in PVS Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| PVS strategies for proving abstraction properties of automata | 2013-09-25 | Paper |
| Model-based construction and verification of critical systems using composition and partial refinement Formal Methods in System Design | 2011-03-31 | Paper |
| Proving invariants of I/O automata with TAME Automated Software Engineering | 2003-02-17 | Paper |
| TAME: Using PVS strategies for special-purpose theorem proving Annals of Mathematics and Artificial Intelligence | 2002-06-27 | Paper |
| scientific article; zbMATH DE number 3880079 (Why is no real title available?) | 1984-01-01 | Paper |
Research outcomes over time
This page was built for person: Myla Archer
