Formale Verifikation von Contiki-Anwendungen - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt. Formale Verifikation von Contiki-Anwendungen. In Frank Oppenheimer, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011. pages 39-48, OFFIS-Institut für Informatik, 2011.

This author has not been identified. Look up 'Thilo Vörtler' in GoogleThis author has not been identified. Look up 'Thomas Klotz' in GoogleThis author has not been identified. Look up 'Eva Fordran' in GoogleThis author has not been identified. Look up 'Petra Hofstedt' in Google

runs on WebDSL