search result

Cover von Decentralised Runtime Verification of Timed Regular Expressions

Decentralised Runtime Verification of Timed Regular Expressions

Year: 2022
Media group: LIPIcs
Cover von Lectures on Runtime Verification
Introductory and Advanced Topics
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Tutorial; 10457
Media group: MONOGRAPHIE
Cover von Runtime Verification
16th International Conference, RV 2016, Madrid, Spain, September 23 - 30, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10012
Media group: MONOGRAPHIE
Cover von Formal methods in outer space
essays dedicated to Klaus Havelund on the occasion of his 65th birthday
Search for this author
Year: 2021
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 13065
Media group: MONOGRAPHIE
Cover von A Taxonomy for Classifying Runtime Verification Tools
Search for this author
Year: 2018
Publisher: HAL Inria
Media group: ARTICLE
Cover von Runtime Verification
First International Conference, St. Julians, Malta, November 1 - 4, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6418
Media group: MONOGRAPHIE
OPEN V 11.1.0.0