Testing the Internet of Things

2016

Conference Paper

Author(s)

Felderer, Michael

Universität Innsbruck

Schieferdecker, Ina

Fraunhofer-Institut für Offene Kommunikationssysteme FOKUS

Mainwork

Leveraging applications of formal methods, verification and validation. 7th international symposium, ISoLA 2016. Pt.2: Discussion, dissemination, applications

Conference

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2016

International School on Tool-Based Rigorous Engineering of Software Systems (STRESS) 2016