 |
|
|||
| Authors: | Hugo Fierz |
| Group: | System Engineering |
| Type: | Techreport |
| Title: | Spezifizieren und Entwickeln mit grafischen Modellen |
| Year: | 1995 |
| Month: | October |
| Pub-Key: | FIE95a |
| Keywords: | Formal Methods, Reactive Systems Formal Methods, Reactive Systems |
| Institution: | TIK |
| Remarks: | Bulletin des Schweizerischen Elektrotechnischen Vereins 21/1995, 1995 |
| Resources: | [BibTeX] |
