Model-Based Testing of Asynchronously Communicating Distributed Controllers (Englisch)
- Neue Suche nach: Graics, Bence
- Neue Suche nach: Mondok, Milán
- Neue Suche nach: Molnár, Vince
- Neue Suche nach: Majzik, István
- Neue Suche nach: Cámara, Javier
- Weitere Informationen zu Cámara, Javier:
-
https://orcid.org/https://orcid.org/0000-0001-6717-4775
- Neue Suche nach: Jongmans, Sung-Shik
- Weitere Informationen zu Jongmans, Sung-Shik:
-
https://orcid.org/https://orcid.org/0000-0002-4394-8745
- Neue Suche nach: Graics, Bence
- Neue Suche nach: Mondok, Milán
- Neue Suche nach: Molnár, Vince
- Neue Suche nach: Majzik, István
In:
Formal Aspects of Component Software
: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
;
Kapitel: 2
;
23-44
;
2024
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Model-Based Testing of Asynchronously Communicating Distributed Controllers
-
Weitere Titelangaben:Lect.Notes Computer
-
Beteiligte:Cámara, Javier ( Herausgeber:in ) / Jongmans, Sung-Shik ( Herausgeber:in ) / Graics, Bence ( Autor:in ) / Mondok, Milán ( Autor:in ) / Molnár, Vince ( Autor:in ) / Majzik, István ( Autor:in )
-
Kongress:International Conference on Formal Aspects of Component Software ; 2023
-
Erschienen in:Formal Aspects of Component Software : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers ; Kapitel: 2 ; 23-44Lecture Notes in Computer Science ; 14485 ; 23-44
-
Verlag:
- Neue Suche nach: Springer Nature Switzerland
-
Erscheinungsort:Cham
-
Erscheinungsdatum:13.01.2024
-
Format / Umfang:22 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Symbolic Path-Guided Test Cases for Models with Data and TimeBannour, Boutheina / Lapitre, Arnault / Gall, Pascale Le / Nguyen, Thang et al. | 2024
- 2
-
Model-Based Testing of Asynchronously Communicating Distributed ControllersGraics, Bence / Mondok, Milán / Molnár, Vince / Majzik, István et al. | 2024
- 3
-
A Mechanized Semantics for Component-Based Systems in the HAMR AADL RuntimeHallerstede, Stefan / Hatcliff, John et al. | 2024
- 4
-
A Formal Web Services Architecture Model for Changing PUSH/PULL Data TransferNitta, Naoya / Kageyama, Shinji / Fujii, Kouta et al. | 2024
- 5
-
Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS ComponentsTannoury, Perla / Chouali, Samir / Hammad, Ahmed et al. | 2024
- 6
-
From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent ProgramsVidal, Germán et al. | 2024
- 7
-
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADLBae, Kyungmin / Ölveczky, Peter Csaba et al. | 2024
- 8
-
Challenges Engaging Formal CBSE in Industrial ApplicationsLi, Yi / Sun, Meng et al. | 2024
- 9
-
Formal Aspects of Component SoftwareLiu, Zhiming / Teng, Jiadong / Liu, Bo et al. | 2024
- 10
-
Overview on Constrained Multiparty Synchronisation in Team AutomataProença, José et al. | 2024
- 11
-
Embedding Formal Verification in Model-Driven Software Engineering with Slco: An OverviewWijs, Anton et al. | 2024