Formal verification of control system software

Bibliographische Detailangaben

1. Verfasser:	Garoche, Pierre-Loic (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Princeton ; Oxford Princeton University Press 2019
Schriftenreihe:	Princeton series in applied mathematics
Online-Zugang:	UBW01 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!