Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Assumption-Commitment Specifications and Safety-Critical Systems.

FBT. 1998 S. 125 - 135

Erscheinungsjahr: 1998

Publikationstyp: Buchbeitrag (Konferenzbeitrag)

Geprüft:Bibliothek

Autoren

Rock, Georg (Autor)
Stephan, Werner (Autor)
Wolpers, Andreas (Autor)

Verknüpfte Personen

Georg Rock

Beteiligte Einrichtungen

Logo Informatik