Specification of the Case Study "Light Control System"

M. Kronenburg , C. Peper

Dagstuhl-Seminar "Requirements Capture, Documentation, and Validation", 13.-18. Juni 1999, http://rn.informatik.uni-kl.de/~forest/examples

Abstract




 Superordinated page: Year 1999

 Feedback
Email to the person in charge of this page (vs_www@informatik.uni-kl.de)

 Deutsch
This page in german. Diese Seite auf deutsch.