| Titel | Process algebras for hybrid systems:comparison and development |
|---|---|
| Auteur | Khadim, U (Uzma) |
| Promotor | Baeten, JCM (Jos); Cuijpers, PJL (Pieter) |
| Universiteit | Technische Universiteit Eindhoven |
| Datum | 2008 |
| Trefwoord(en) | dissertations the and tu/e, formal languages. formal systems. formal proof of program correctness, computer science: dissertations. measurement and control: dissertations, hybrid systems, digital computers: real-time and online applications (general), process algebra, hybrid computers, embedded systems |
| Type | proefschrift |
| Uitgever | Technische Universiteit Eindhoven |
| Rechten | Copyright (c) Khadim, U (Uzma) |
| Publicatie | http://repository.tue.nl/637804 |
| Persistent Identifier | URN:NBN:NL:UI:25-637804 |
| Metadata | XML |
| Repository | Technische Universiteit Eindhoven |
Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie