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 → … |
Conference
Conference | IEEE International Conference on Software Testing, Verification and Validation |
---|---|
Country/Territory | Luxembourg |
City | Luxemburg |
Period | 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 (MoDiaForTed)
Quaritsch, S. & Pill, I. H.
1/11/10 → 30/06/15
Project: Research project