 |
|
|||
| Authors: | Hugo Fierz |
| Group: | System Engineering |
| Type: | Inproceedings |
| Title: | CIP - Communicating Interacting Processes. Eine operationelle, objektbasierte Entwicklungsmethode für reaktive Systeme |
| Year: | 1995 |
| Month: | September |
| Pub-Key: | FIE95b |
| Book Titel: | 6. Kolloquium: SW-Entwicklung, Methoden, Werkzeuge 95 |
| Keywords: | Formal Methods, Reactive Systems Formal Methods, Reactive Systems |
| Remarks: | 6. Kolloquium: SW-Entwicklung, Methoden, Werkzeuge 95. Ed: H. J. Scheibl. Techn. Akademie Esslingen 1995. , 1995 |
| Location: | Techn. Akademie Esslingen |
| Resources: | [BibTeX] |
