Projects per year
Original language | English |
---|---|
Title of host publication | Third IEEE International workshop UML and Formal Methods (UML & FM 2010) |
Publisher | Association of Computing Machinery |
Pages | 1-8 |
Volume | 36 |
Publication status | Published - 2011 |
Event | Third IEEE International workshop UML and Formal Methods: UML & FM 2010 - Shanghai, China Duration: 16 Nov 2010 → 16 Nov 2010 |
Publication series
Name | ACM Software Engineering Notes |
---|---|
Publisher | ACM |
Conference
Conference | Third IEEE International workshop UML and Formal Methods |
---|---|
Country/Territory | China |
City | Shanghai |
Period | 16/11/10 → 16/11/10 |
Other |
Fields of Expertise
- Information, Communication & Computing
Projects
- 1 Finished
-
EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems
Brandl, H., Krenn, W. K. & Aichernig, B.
1/01/08 → 31/12/10
Project: Research project