« October 2019 »
October
MoTuWeThFrSaSu
123456
78910111213
14151617181920
21222324252627
28293031
Uni-Logo
You are here: Home Projects Case Study Repository
Document Actions

Case Study Repository

Quasi-Dependent Variables

This page provides supporting material for the paper "Quasi-Dependent Variables in Hybrid Automata", published in 17th International Conference on Hybrid Systems: Computation and Control (HSCC 2014).

Read More…

Quasi-equal Clocks Reduction

Supporting material to the paper Quasi-equal Clock Reduction: More Networks, More Queries.

Read More…

Wireless Fire Alarm System

Ensuring Conformance to Industrial Standards through Formal Verification

Read More…

Personal tools