%0 Conference Paper %1 conf/fmics/GraicsMM23 %A Graics, Bence %A Molnár, Vince %A Majzik, István %B FMICS %D 2023 %E Cimatti, Alessandro %E Titolo, Laura %I Springer %K dblp %P 76-95 %T Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2023.html#GraicsMM23 %V 14290 %@ 978-3-031-43681-9

@inproceedings{conf/fmics/GraicsMM23, added-at = {2023-09-24T00:00:00.000+0200}, author = {Graics, Bence and Molnár, Vince and Majzik, István}, biburl = {https://www.bibsonomy.org/bibtex/2adaab87a5ce7fc63738ab52ec1044505/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2023}, editor = {Cimatti, Alessandro and Titolo, Laura}, ee = {https://doi.org/10.1007/978-3-031-43681-9_5}, interhash = {acd1dd19fd61639893d36dd61c94e782}, intrahash = {adaab87a5ce7fc63738ab52ec1044505}, isbn = {978-3-031-43681-9}, keywords = {dblp}, pages = {76-95}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:56:19.000+0200}, title = {Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2023.html#GraicsMM23}, volume = 14290, year = 2023 }