Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning: COMPLEX ENGINEERED SYSTEMS DESIGN VERIFICATION

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Systems engineering 2016-11, Vol.19 (6), p.461-476
Hauptverfasser:	Mehrpouyan, Hoda, Giannakopoulou, Dimitra, Brat, Guillaume, Tumer, Irem Y., Hoyle, Chris
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!