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 UTAcademic

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. 253 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Model checking
Computer program listings
1992

Transformations and semantics for LOTOS

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

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic