Research Output 1990 2017

Filter
PhD Thesis - Research UT, graduation UT
2006

Hybrid Techniques for Hybrid Systems

Krilavicius, T. 6 Sep 2006 Enschede: Centre for Telematics and Information Technology (CTIT). 192 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Hybrid systems
Control theory
Computer science
Trajectories
Computer control
2001

Towards Effective Model Checking

Ruys, T. C. 22 Mar 2001 Enschede: Universiteit Twente.

Research output: ScientificPhD Thesis - Research UT, graduation UT

1992

Transformations and semantics for LOTOS

Langerak, R. 30 Nov 1992 Enschede: Universiteit Twente. 170 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT