Exploring the Notion of Verification Complexity

V1.1.3: Safer Systems

Session Chair: Golam Bokhtier

Presenter(s):
Alejandro Salado (Department of Systems and Industrial Engineering, University of Arizona)

Author(s):
Sukhwan Jung, Joanna Joseph (Department of Systems and Industrial Engineering, University of Arizona)

Presentation: 527

When: Tue 02, Jul 19:30-20:10 IST

Where: Virtual Room 1

Keywords: Verification;Modelling;knowledge graphs;complexity;verification complexity

Topics: 1.1. Complexity 2.6. Verification/Validation 3.6. Measurement and Metrics