KIT | KIT-Bibliothek | Impressum

Verifikation des Zeitverhaltens von MOS- Transistor-Schaltungen durch Model Checking

Frössl, Jürgen; Kropf, Thomas



Zugehörige Institution(en) am KIT Sonderforschungsbereich 358 (SFB 358)
Publikationstyp Buchaufsatz
Jahr 1994
Sprache Deutsch
Identifikator KITopen ID: 326294
Erscheinungsvermerk In: Anwendung formaler Methoden im Systementwurf. Frankfurt, M. 1994. (Interner Bericht. Fachbereich Informatik, Universität Frankfurt. 1994,6.) und Karlsruhe : Inst. f. Rechnerentw. u. Fehlertoleranz 1994. (Tech. Rep. SFB358-C2-3/94.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page