![[logo of the networked systems group]](/en/images/vs.gif)
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 |
| Go to the contact details of the person in charge of this page |
| | Deutsch  |
| This page in german. Diese Seite auf deutsch. |