
Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning
Mehrpouyan, Hoda, Giannakopoulou, Dimitra, Brat, Guillaume, Tumer, Irem Y., Hoyle, ChrisVolume:
19
Langue:
english
Journal:
Systems Engineering
DOI:
10.1002/sys.21368
Date:
November, 2016
Fichier:
PDF, 983 KB
english, 2016