Formal Methods and Software Engineering

Book title Buchtitel
Formal Methods and Software Engineering
 
ISBN
978-981-96-0617-7
 
 
Publisher Verlag
Springer
 
DOI
10.1007/978-981-96-0617-7
 
Series Schriftenreihe
Lecture Notes in Computer Science
 
Volume Band
15394
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Brechelmacher, Otto ; Ničković, Dejan ; Nießen, Tobias ; Sallinger, Sarah Sophie ; Weissenbacher, Georg Differential Property Monitoring for Backdoor DetectionInproceedings Konferenzbeitrag 29-Nov-2024