True state-space complexity prediction: By the proxel-based simulation method
Lazarova-Molnar, S.
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2009 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-4244-5698-7 KITopen-ID: 1000171179 |
| Erschienen in | 2009 International Conference on Innovations in Information Technology (IIT), Al Ain, United Arab Emirates, 15-17 December 2009 |
| Veranstaltung | International Conference on Innovations in Information Technology (IIT 2009), Al Ain, 15.12.2009 – 17.12.2009 |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 130-134 |
| Nachgewiesen in | Dimensions Scopus |