Events List

Type:
Scope:

Event Type:

PhD defense

Title:

Automated Approaches for Formal Verification of Embedded Systems Artifacts

Date:

Jun 17, 2019 13:30

Location:

Mälardalens högskola, Västerås campus, room Gamma

Contact person:

Predrag Filipovikj

Event Type:

Licentiate presentation

Title:

Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models

Date:

Apr 20, 2017 13:15

Location:

Mälardalens högskola, Västerås campus, room Gamma

Contact person:

Predrag Filipovikj