Myla M. Archer

Available identifiers

zbMath Open archer.myla-mMaRDI QIDQ633294

List of research outcomes

Publication	Date of Publication	Type
Translation Templates to Support Strategy Development in PVS	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2848044	2013-09-25	Paper
Model-based construction and verification of critical systems using composition and partial refinement	2011-03-31	Paper
Proving invariants of I/O automata with TAME	2003-02-17	Paper
TAME: Using PVS strategies for special-purpose theorem proving	2002-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q3345749	1984-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Myla M. Archer