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/18608
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_1
-
Title:
Reactive Synthesis Beyond Realizability
en
Citation:
Dimitrova, R. (2021). Reactive Synthesis Beyond Realizability. In
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
(pp. 1–1). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_1
-
reposiTUm DOI:
10.34727/2021/isbn.978-3-85448-046-4_1
-
Publication Type:
Inproceedings
en
Language:
English
-
Authors:
Dimitrova, Rayna
-
Organisational Unit:
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Series:
Conference Series: Formal Methods in Computer-Aided Design
-
Published in:
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
-
Date (published):
Oct-2021
-
Number of Pages:
1
-
Publisher:
TU Wien Academic Press, Wien
-
Peer reviewed:
Yes
-
Keywords:
formal methods
en
formale Methode
de
License:
CC BY 4.0
en
Appears in Collections:
Open Access Series
Conference Paper
Fulltext (Version of Record (published version))
Adobe PDF
(79.75 kB)
Abstract
CC BY 4.0
Show full item record
Google Scholar
TM
Check