Runtime verification revisited
Title | Runtime verification revisited |
Publication Type | Report |
Year of Publication | 2005 |
Authors | Arafat, O, Bauer, A, Leucker, M, Schallhart, C |
Series Title | Technical report TUM-I0518, Institut für Informatik, Technische Universität München |
Date Published | 10/2005 |
Bibtex:
@article {1157, title = {Runtime verification revisited}, year = {2005}, month = {10/2005}, author = {Oliver Arafat and Andreas Bauer and Martin Leucker and Christian Schallhart} }
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Phillip Bende
- Martin Blankenburg
- Gerhard Buntrock
- David Caraveo
- Lukas Convent
- Normann Decker
- Sebastian Hungerecker
- Karam Kharraz
- Uwe Kienitz
- Nikolas Knickrehm
- Christian Kreutzfeldt
- Felix Lange
- Grigory Markin
- Maria Ostanina
- André Pedro
- Torben Scheffel
- Malte Schmitz
- Nina Strugalla
- Annette Stümpel
- Daniel Thoma
- Open Positions
- Contact