Rule-Set-Extraction From C-Code

Franz Wotawa, Willibald Karl Krenn

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in Buch/Bericht

1 Ergebnisse

Abgeschlossen
SEPIAS - Self Properties In Autonomous Systems
Brandl, H., Krenn, W. K. & Wotawa, F.
1/01/06 → 31/12/07
Projekt: Forschungsprojekt