Teimuraz Kutsia, Wolfgang Schreiner,
"Verifying the Soundness of Resource Analysis for LogicGuard Monitors, Part 1"
, Serie Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, RISC, JKU, Hagenberg, 12-2013
Original Titel:
Verifying the Soundness of Resource Analysis for LogicGuard Monitors, Part 1
Sprache des Titels:
Englisch
Veröffentlicher:
RISC, JKU
Verlagsanschrift:
Hagenberg
Serie:
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria
Forschungs-