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
Access Type
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | Moosbrugger, Patrick ; Rozier, Kristin Y. ; Schumann, Johann | R2U2: monitoring and diagnosis of security threats for unmanned aerial systems | Article Artikel    | 2017 |