Rule-Set-Extraction From C-Code

Franz Wotawa, Willibald Karl Krenn

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Chapter

1 results

Finished
SEPIAS - Self Properties In Autonomous Systems
Brandl, H., Krenn, W. K. & Wotawa, F.
1/01/06 → 31/12/07
Project: Research project