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
- pdf (209kb)
Full paper
- pdf (209kb)
Full paper
- pdf (209kb)
- ps.gz (325kb)
| Superordinated page: Year 2001 | |
| 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. |
![[logo of the networked systems group]](/en/images/vs.gif)