Projects per year
Original language | German |
---|---|
Title of host publication | International Workshop on Constraints in Software Testing Verification and Analysis |
Publisher | . |
Pages | 232-237 |
Publication status | Published - 2013 |
Event | IEEE International Conference on Software Testing, Verification and Validation: ICST 2013 - Luxemburg, Luxembourg Duration: 22 Mar 2013 → 22 Mar 2013 |
Conference
Conference | IEEE International Conference on Software Testing, Verification and Validation |
---|---|
Country/Territory | Luxembourg |
City | Luxemburg |
Period | 22/03/13 → 22/03/13 |
Fields of Expertise
- Information, Communication & Computing
Treatment code (Nähere Zuordnung)
- Basic - Fundamental (Grundlagenforschung)
- Application
Projects
- 1 Finished
-
FWF - MoDiaForTeD - Model-based Diagnosis for Formal Temporal Descriptions
Quaritsch, S. (Co-Investigator (CoI)) & Pill, I. H. (Principal Investigator (PI))
1/11/10 → 30/06/15
Project: Research project