학술논문
Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems.
Document Type
Article
Author
Source
NASA Formal Methods (9783319406473); 2016, p34-40, 7p
Subject
Language