Einsatz von FoReST zur Entwicklung einer verteilten Lichtsteuerung
R. Gotzhein, C. Peper
11. GI/ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme", Bruchsal, Germany, 2001
Abstract
Full paper
- ps.gz (325kb)
Full paper
- ps.gz (325kb)
Full paper
- ps.gz (325kb)
- pdf (209kb)
| Superordinated page: Year 2001 | |
| Feedback | |
| Go to the contact details of the person in charge of this page |
| Deutsch | |
| This page in german. Diese Seite auf deutsch. |
![[logo of the networked systems group]](/en/images/vs.gif)