Software Engineering and Formal Methods
Book title Buchtitel
Software Engineering and Formal Methods
Publisher Herausgeber
13085
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-4 of 4 (Search time: 0.002 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Kühn, Eva ; Radschek, Sophie Therese | An Initial User Study Comparing the Readability of a Graphical Coordination Model with Event-B Notation | Konferenzbeitrag Inproceedings ![]() | 2018 | |
2 | Bartocci, Ezio ; Deshmukh, Jyotirmoy ; Mateis, Cristinel ; Nesterini, Eleonora ; Ničković, Dejan ; Qin, Xin | Mining Shape Expressions with ShapeIt | Konferenzbeitrag Inproceedings | 2021 | |
3 | Fellner, Andreas ; Befrouei, Mitra Tabaei ; Weissenbacher, Georg | Mutation Testing with Hyperproperties | Konferenzbeitrag Inproceedings ![]() | 2019 | |
4 | Hofmann, Till ; Schupp, Stefan | TACoS: A Tool for MTL Controller Synthesis | Konferenzbeitrag Inproceedings | 2021 |