( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Security certification and labelling in Internet of Things.

, , , , , и . WF-IoT, стр. 627-632. IEEE Computer Society, (2016)

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)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)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)Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPS., и . JFPL, стр. 18-34. (1992)Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B., , , и . JFPLC, стр. 125-144. Hermes, (2000)Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes., , и . JFPLC, стр. 95-. Hermes, (1998)Set-Unification from Another Point of View., , и . ICLP Workshop on Logic Programming with Sets, (1993)LEIRIOS Test Generator: Automated Test Generation from B Models., и . B, том 4355 из Lecture Notes in Computer Science, стр. 277-280. Springer, (2007)