Formal Methods in System Design

Title Titel
Formal Methods in System Design
 
e-ISSN
1572-8102
 
ISSN
0925-9856
 
Publisher Herausgeber
SPRINGER
 
Publisher's Address Herausgeber Adresse
VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Filter:
Access Type:  Open Access

Results 1-2 of 2 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Tabaei Befrouei Mitra - 2016 - Abstraction and mining of traces to explain...pdf.jpgTabaei Befrouei, Mitra ; Wang, Chao ; Weissenbacher, Georg Abstraction and mining of traces to explain concurrency bugsArticle Artikel Oct-2016
2Moosbrugger Patrick - 2017 - R2U2 monitoring and diagnosis of security threats...pdf.jpgMoosbrugger, Patrick ; Rozier, Kristin Y. ; Schumann, Johann R2U2: monitoring and diagnosis of security threats for unmanned aerial systemsArticle Artikel 2017