Formal Methods: Use and Relevance for the Development of Safety-Critical Systems
Gespeichert in:
Veröffentlicht in: | Computer journal 1992-12, Vol.35 (6), p.579-599 |
---|---|
Hauptverfasser: | , |
Format: | Artikel |
Sprache: | eng |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | |
---|---|
ISSN: | 0010-4620 1460-2067 |
DOI: | 10.1093/comjnl/35.6.579 |