SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods

Event name
SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods
 
Event type
Event for scientific audience
 
Start date
06-12-2021
End date
10-12-2021
 
Location
USA, Kazakhstan, UK
Country
United States
 
Event format Veranstaltungsformat
Online

Publications Publikationen

Results 1-3 of 3 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hafner, Irene ; Popper, Niki Convergence Properties of Hierarchical Co-simulation ApproachesInproceedings Konferenzbeitrag 2022
2Bartocci, Ezio ; Deshmukh, Jyotirmoy ; Mateis, Cristinel ; Nesterini, Eleonora ; Ničković, Dejan ; Qin, Xin Mining Shape Expressions with ShapeItKonferenzbeitrag Inproceedings2021
3Hofmann, Till ; Schupp, Stefan TACoS: A Tool for MTL Controller SynthesisKonferenzbeitrag Inproceedings2021