Code Generation for Timed Automata System Specifications Considering Target Platform Resources-Restrictions
Daniel Opp | Mirko Caspar | Wolfram HardtMai 2011
Typ | InProceedings |
Quelle | Proceedings of IC2IT 2011 S. 144 - 149 |
Einrichtung | King Mongkut's University of Technology North Bangkok (KMUTNB) Bangkok Thailand |
Einrichtung | King Mongkut's University of Technology North Bangkok (KMUTNB) Bangkok Thailand |
Verlag | King Mongkut's University of Technology North Bangkok (KMUTNB) Bangkok Thailand |
Adresse | Bangkok, Thailand |
ISBN | 978-974-19-3332-7 |
Bibtex |
Anzeigen |