No photo of Rom Langerak

Rom Langerak

dr.ir.

1990 …2017
If you made any changes in Pure these will be visible here soon.

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: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Hybrid systems
Control theory
Computer science
Computer control
Trajectories
2001

Towards Effective Model Checking

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

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
1992

Transformations and semantics for LOTOS

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

Research output: ThesisPhD Thesis - Research UT, graduation UT