An Environment for Compositional Specification and Verification of Complex Embedded Systems - OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Home
OFFIS
Publikationen
An Environment for Compositional Specification and Verification of Complex Embedded Systems

An Environment for Compositional Specification and Verification of Complex Embedded Systems

Export

All authors

Wittke, Hartmut

Publishing date

01 / 2005

Type of Publication

phdthesis

Privacy Data Transparency Contact Legals