( en | de | ru )

 

Disambiguierung von "Legeard, Bruno"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Mastering Test Generation from Smart Card Software Formal Models.

, , , und . CASSIS, Volume 3362 von Lecture Notes in Computer Science, Seite 70-85. Springer, (2004)

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.

Horst Bruno

Armin Bruno

Axel Brunold

Horst Bruno

Eugen Bruno

 

Weitere Publikationen von Autoren mit dem selben Namen

Fonctions de voisinage progressives et admissibles pour des méthodes d'optimisation en PLC sur séquences., und . JFPLC, Seite 255-. Hermes, (1996)Generation of test sequences from formal specifications: GSM 11-11 standard case study., , , und . Softw. Pract. Exp., 34 (10): 915-948 (2004)A domain-specific language to design false data injection tests for air traffic control systems., , , und . Int. J. Softw. Tools Technol. Transf., 24 (2): 127-158 (2022)DAE : Discriminatory Auto-Encoder for multivariate time-series anomaly detection in air transportation., , und . CoRR, (2021)Requirements traceability in the model-based testing process., und . Software Engineering (Workshops), Volume P-106 von LNI, Seite 45-54. GI, (2007)Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning., , , , , und . IEEE Trans. Intell. Transp. Syst., 25 (2): 1166-1177 (Februar 2024)Identifying and Generating Missing Tests using Machine Learning on Execution Traces., , , , und . AITest, Seite 83-90. IEEE, (2020)Model-Based Testing from UML Models., , , , , , und . GI Jahrestagung (2), Volume P-94 von LNI, Seite 223-230. GI, (2006)Set-Unification from Another Point of View., , und . ICLP Workshop on Logic Programming with Sets, (1993)LEIRIOS Test Generator: Automated Test Generation from B Models., und . B, Volume 4355 von Lecture Notes in Computer Science, Seite 277-280. Springer, (2007)