Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=964297442
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/964297442 |
| Art des Inhalts | Hochschulschrift |
| Titel | Symbolic timing diagrams : a visual formalism for model verification / Rainer C. Schlör |
| Person(en) | Schlör, Rainer C. (Verfasser) |
| Zeitliche Einordnung | Erscheinungsdatum: 2002 |
| Umfang/Format | VIII, 248 S. : graph. Darst. ; 31 cm |
| Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Schlör, Rainer C.: Symbolic timing diagrams |
| Hochschulschrift | Oldenburg, Univ., Diss., 2001 (Nicht für den Austausch) |
| Sprache(n) | Englisch (eng) |
| Schlagwörter | Reaktives System ; Verifikation ; Spezifikationstechnik ; Visualisierung |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: H 2002 B 3318 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
| Leipzig |
Signatur: H 2002 B 3318 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |

