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/18611
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_4
-
Title:
Active Automata Learning: from L* to L#
en
Citation:
Vaandrager, F. (2021). Active Automata Learning: from L* to L#. In
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
(pp. 9–9). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_4
-
reposiTUm DOI:
10.34727/2021/isbn.978-3-85448-046-4_4
-
Publication Type:
Konferenzbeitrag
de
Inproceedings
en
Language:
English
-
Authors:
Vaandrager, Frits
-
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
-
Publisher:
Wien
-
Peer reviewed:
Yes
-
Keywords:
formal methods
en
formale Methode
de
License:
CC BY 4.0
en
Appears in Collections:
Conference Paper
Open Access Series
Fulltext (Version of Record (published version))
Adobe PDF
(115.56 kB)
CC BY 4.0
Show full item record
This item is licensed under a
Creative Commons License
Page view(s)
214
checked on Feb 1, 2023
Download(s)
63
checked on Feb 1, 2023
Google Scholar
TM
Check