Month: January 2013

Causality Checking for Complex System Models (Talk at VMCAI 2013)

I gave a talk on causality checking for complex system models at the VMCAI 2013 conference in Rome, Italy. The slides of my talk are available here. Abstract: With the increasing growth of the size and complexity of modern safety-critical systems, the demand for model based engineering methods that both help in architecting such systems …

Causality Checking for Complex System Models (Talk at VMCAI 2013) Read More »