Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Testing the Internet of Things

 
: Felderer, Michael; Schieferdecker, Ina

Margaria-Steffen, T. (Ed.):
Leveraging applications of formal methods, verification and validation. 7th international symposium, ISoLA 2016. Pt.2: Discussion, dissemination, applications : Imperial, Corfu, Greece, October 10-14, 2016, Proceedings
Cham: Springer International Publishing, 2016 (Lecture Notes in Computer Science 9953)
ISBN: 978-3-319-47168-6 (Print)
ISBN: 978-3-319-47169-3 (Online)
S.703-706
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) <7, 2016, Corfu>
International School on Tool-Based Rigorous Engineering of Software Systems (STRESS) <4, 2016, Corfu>
Englisch
Konferenzbeitrag
Fraunhofer FOKUS ()

: http://publica.fraunhofer.de/dokumente/N-432000.html