Tóth Tamás OData support

View the theses supervised by Tóth Tamás »

Theses

Formal analysis of parametric timed systems

Dr. Vörös András (MIT)
MSc degree, computer science and engineering programme, 2013-2014 Spring