| langue originale | Français |
|---|---|
| titre | Proc. of the CAiSE '94 Workshop on Formal Methods for Information Systems Dynamics |
| Lieu de publication | Utrecht (The Netherlands) |
| Pages | 137-146 |
| Etat de la publication | Publié - 1994 |
Specification of a Control System by Domain Specialists with OBLOG
Jean-Marc Zeippen, Peter Hartel
Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque