Teimuraz Kutsia, Wolfgang Schreiner,
"Verifying the Soundness of Resource Analysis for LogicGuard Monitors (Revised Version)"
, Serie RISC Report Series, Johannes Kepler University Linz, Austria, Nummer 14-08, RISC, JKU, Hagenberg Linz, 2014
Original Titel:
Verifying the Soundness of Resource Analysis for LogicGuard Monitors (Revised Version)
Sprache des Titels:
Englisch
Veröffentlicher:
RISC, JKU
Verlagsanschrift:
Hagenberg Linz
Serie:
RISC Report Series, Johannes Kepler University Linz, Austria
Forschungs-