( en | de | ru )

 

Disambiguierung von "Legay, Axel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Combinatorial Transition Testing in Dynamically Adaptive Systems.

, , , und . VaMoS, Seite 1-10. ACM, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sylvain Legay

Jürgen Axel

Bertil Axelson

Erik Axell

David Axelos

 

Weitere Publikationen von Autoren mit dem selben Namen

A Modal Interface Theory for Component-based Design., , , , , und . Fundam. Informaticae, 108 (1-2): 119-149 (2011)Component-based verification using incremental design and invariants., , , , , und . Softw. Syst. Model., 15 (2): 427-451 (2016)Towards an incremental automata-based approach for software product-line model checking., , , und . SPLC (2), Seite 74-81. ACM, (2012)GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems., , und . ERCIM News, (2015)Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL., und . ERCIM News, (2015)A Framework to Handle Linear Temporal Properties in (ømega-)Regular Model Checking, , und . CoRR, (2009)Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods., , , und . Int. J. Softw. Tools Technol. Transf., 24 (3): 351-370 (2022)T(O)RMC: A Tool for (omega)-Regular Model Checking.. CAV, Volume 5123 von Lecture Notes in Computer Science, Seite 548-551. Springer, (2008)User Reception of Babylon Health's Chatbot., , und . VISIGRAPP (2: HUCAPP), Seite 134-141. SCITEPRESS, (2022)Assistance in the management of rule sets for rule-based expert systems (S)., und . SEKE, Seite 367-372. KSI Research Inc., (2023)