| Title | Automated model-based testing of hybrid systems |
|---|---|
| Author | Osch, van MPWJ (Michiel) |
| Thesis advisor | Baeten, JCM (Jos); Rooda, JE (Koos); Luttik, SP (Bas) |
| Degree grantor | Technische Universiteit Eindhoven |
| Date | 2009 |
| Reference(s) | dissertations the and tu/e, hybrid systems, computer science: dissertations. measurement and control: dissertations, formal languages. formal systems. formal proof of program correctness, hybrid computers, formal languages - chi |
| Type | doctoral thesis |
| Publisher | Technische Universiteit Eindhoven |
| Rights | Copyright (c) Osch, MPWJ (Michiel) van |
| Publication | http://repository.tue.nl/640216 |
| Persistent Identifier | URN:NBN:NL:UI:25-640216 |
| Metadata | XML |
| Repository | Eindhoven University of Technology |
Go to page top
Go back to contents
Go back to site navigation