Projects per year
Original language | English |
---|---|
Title of host publication | IEEE International Symposium on Theoretical Aspects of Software Engineering |
Publisher | IEEE Computer Society |
Pages | 119-126 |
ISBN (Print) | 978-1-4673-2353-6 |
Publication status | Published - 2012 |
Event | IEEE International Symposium on Theoretical Aspects of Software Engineering - Beijing, China Duration: 4 Jul 2012 → 6 Jul 2012 |
Conference
Conference | IEEE International Symposium on Theoretical Aspects of Software Engineering |
---|---|
Country/Territory | China |
City | Beijing |
Period | 4/07/12 → 6/07/12 |
Fields of Expertise
- Information, Communication & Computing
Treatment code (Nähere Zuordnung)
- Theoretical
Projects
- 1 Finished
-
EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems
Lorber, F. L., Tiran, S. & Aichernig, B.
1/11/11 → 31/12/13
Project: Research project