Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/54882
-
Titel: 
Model-Based Testing for Verification Back-Ends
-
Zitat: 
Artho, C., Seidl, M., & Biere, A. (2013). Model-Based Testing for Verification Back-Ends. In Tests and Proofs (pp. 39–55). Springer. https://doi.org/10.1007/978-3-642-38916-0_3
-
Verlags-DOI: 
10.1007/978-3-642-38916-0_3
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Autor_innen: 
Artho, Cyrille 
Seidl, Martina 
Biere, Armin 
-
Organisations­einheit: 
E194-03 - Forschungsbereich Business Informatics 
-
Erschienen in: 
Tests and Proofs 
-
ISBN: 
978-3-642-38915-3
-
Band: 
7942
-
DOI des Buches: 
10.1007/978-3-642-38916-0
-
Datum (veröffentlicht): 
2013
-
Veranstaltungs­name: 
7th International Conference on Tests & Proofs 
-
Veranstaltungs­zeitraum: 
18-Jun-2013 - 19-Jun-2013
-
Veranstaltungs­ort: 
Budapest, EU
-
Umfang: 
17
-
Verlag: 
Springer, 10375 / Lecture Notes in Computer Science
-
Peer Reviewed: 
Ja
-
Projekttitel: 
FAME: Formalizing and Managing Evolution in Model-Driven Engineering (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds) 
-
Forschungs­schwerpunkte: 
Business Informatics: 50%
Logic and Computation: 50%
-
Wissenschafts­zweig: 
Mathematik, Informatik
-
Enthalten in den Sammlungen:
Conference Paper

Zur Langanzeige

Seiten Aufrufe

224
aufgerufen am 23.11.2023

Google ScholarTM

Check