Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2024

Book title Buchtitel
Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2024
 
 
Publisher Herausgeber
Springer
 
DOI
10.1007/978-3-031-62645-6
 
Series Schriftenreihe
Lecture Notes in Computer Science
 
Volume Band
14678
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Visconti, Ennio ; Bartocci, Ezio ; Falcone, Yliès ; Nenzi, Laura Adaptable Configuration of Decentralized MonitorsInproceedings Konferenzbeitrag 2024