Artificial Intelligence and its Applications Laboratory

Model-Driven Software Engineering Techniques · Logic, programming, and type systems · Formal Methods in Verification · Safety Systems Engineering in Autonomy · Access Control and Trust

Petri Nets in System Modeling · Business Process Modeling and Analysis · Model-Driven Software Engineering Techniques

Petri Nets in System Modeling · Model-Driven Software Engineering Techniques · Business Process Modeling and Analysis

Model-Driven Software Engineering Techniques · Safety Systems Engineering in Autonomy · Formal Methods in Verification