Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Record link:
http://hdl.handle.net/20.500.12708/54882
-
Title:
Model-Based Testing for Verification Back-Ends
-
Citation:
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
-
Publisher DOI:
10.1007/978-3-642-38916-0_3
-
Publication Type:
Konferenzbeitrag - Full-Paper Contribution
de
Inproceedings - Full-Paper Contribution
en
Authors:
Artho, Cyrille
Seidl, Martina
Biere, Armin
-
Organisational Unit:
E194-03 - Forschungsbereich Business Informatics
-
Published in:
Tests and Proofs
-
ISBN:
978-3-642-38915-3
-
Volume:
7942
-
DOI of the book:
10.1007/978-3-642-38916-0
-
Date (published):
2013
-
Event name:
7th International Conference on Tests & Proofs
-
Event date:
18-Jun-2013 - 19-Jun-2013
-
Event place:
Budapest, EU
-
Number of Pages:
17
-
Publisher:
Springer, 10375 / Lecture Notes in Computer Science
-
Peer reviewed:
Yes
-
Project title:
FAME: Formalizing and Managing Evolution in Model-Driven Engineering (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds)
-
Research Areas:
Business Informatics: 50%
Logic and Computation: 50%
-
Science Branch:
Mathematik, Informatik
-
Appears in Collections:
Conference Paper
Show full item record
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.
Page view(s)
120
checked on Sep 1, 2023
Google Scholar
TM
Check