Yazar
Smith, Ian F. C. editor.
Format:
Electronic Resources
Alıntı:
Design Support -- Monitoring and Control Algorithms in Engineering -- BIM and Engineering Ontologies.
Yazar
Combemale, Benoît. editor.
Format:
Electronic Resources
Alıntı:
Scope Discovery for Model Transformations -- Streamlining Control Flow Graph Construction with DCFlow
View Other Search Results
Yazar
Jones, Cliff. editor.
Format:
Electronic Resources
Alıntı:
Experiences -- Formal Verification of Lunar Rover Control Software Using UPPAAL -- Formal Verification of a