From Requirements to Validated Embedded Systems

Manfred Broy, Oscar Slotosch. From Requirements to Validated Embedded Systems. In Thomas A. Henzinger, Christoph M. Kirsch, editors, Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings. Volume 2211 of Lecture Notes in Computer Science, pages 51-65, Springer, 2001. [doi]

Authors

Manfred Broy

This author has not been identified. Look up 'Manfred Broy' in Google

Oscar Slotosch

This author has not been identified. Look up 'Oscar Slotosch' in Google