Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

2016

file

Design-time Models vs. Run-time Models

Submitted by Dániel Varró on Mon, 05/16/2016 - 11:47am

file

Security and Resilience Problems in Unmanned Aircraft Systems (UAS) and UAV Traffic Management (UTM)

Submitted by alaszka on Mon, 05/16/2016 - 11:47am

file

The Great Disruption- The Industrial Internet and Digital Manufacturing

Submitted by jjsalvo on Mon, 05/16/2016 - 11:47am

file

We Don't Need No Education

Submitted by sprinkle on Mon, 05/16/2016 - 11:47am

file

Challenges in Autonomous Vehicle Testing and Validation

Submitted by pkoopman on Tue, 05/10/2016 - 7:46pm. Contributors:

file

Compositional Reasoning for Architectural Models

Submitted by dcofer on Tue, 05/10/2016 - 7:46pm. Contributors:

file

Model Based Engineering: Software Quality Metrics and Assurance Cases

Submitted by jonespl on Tue, 05/10/2016 - 7:46pm. Contributor:

Paul Jones

file

Wassyng - Overcoming Challenges in Certification of Model-Based Design of Cyber-Physical Systems

Submitted by pjoannou on Tue, 05/10/2016 - 7:46pm

file

Assurance Through Comprehensive Formal Verification

Submitted by JohnCKnight on Tue, 05/10/2016 - 7:46pm. Contributor:

John C. Knight

file

Model-Based Assurance Challenges for Self-Driving Cars

Submitted by pjoannou on Tue, 05/10/2016 - 7:46pm. Contributor:

Krzysztof Czarnecki

Terms of Use | ©2023. CPS-VO