( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Mastering Test Generation from Smart Card Software Formal Models.

, , , и . CASSIS, том 3362 из Lecture Notes in Computer Science, стр. 70-85. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Horst Bruno

Horst Bruno

Eugen Bruno

Armin Bruno

Axel Brunold

 

Другие публикации лиц с тем же именем

Fonctions de voisinage progressives et admissibles pour des méthodes d'optimisation en PLC sur séquences., и . JFPLC, стр. 255-. Hermes, (1996)Generation of test sequences from formal specifications: GSM 11-11 standard case study., , , и . Softw. Pract. Exp., 34 (10): 915-948 (2004)Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning., , , , , и . IEEE Trans. Intell. Transp. Syst., 25 (2): 1166-1177 (февраля 2024)A domain-specific language to design false data injection tests for air traffic control systems., , , и . Int. J. Softw. Tools Technol. Transf., 24 (2): 127-158 (2022)DAE : Discriminatory Auto-Encoder for multivariate time-series anomaly detection in air transportation., , и . CoRR, (2021)Requirements traceability in the model-based testing process., и . Software Engineering (Workshops), том P-106 из LNI, стр. 45-54. GI, (2007)Model-Based Testing from UML Models., , , , , , и . GI Jahrestagung (2), том P-94 из LNI, стр. 223-230. GI, (2006)Identifying and Generating Missing Tests using Machine Learning on Execution Traces., , , , и . AITest, стр. 83-90. IEEE, (2020)Controlling test case explosion in test generation from B formal models., , и . Softw. Test. Verification Reliab., 14 (2): 81-103 (2004)A Test Generation Solution to Automate Software Testing., , , и . AST, стр. 45-48. ACM, (2008)