Integrating formal verification into the model-based development of adaptive embedded systems

Description

Zugl.: Kaiserslautern, Techn. Univ., Diss., 2008

Links & Downloads

1. http://d-nb.info/992163064/04

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/423749489
Date	January 2008
Creators	Schaefer, Ina
Publisher	München Verl. Dr. Hut
Source Sets	OCLC
Language	English
Detected Language	English