( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Vers une aide au débuggage des SMA par l'exploitation d'échecs de preuve.

, и . JFSMA, стр. 139-148. Cépaduès Éditions, (2017)

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

Armin Bruno

Horst Bruno

Eugen Bruno

Axel Brunold

 

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

A Dynamic Clustering Algorithm for Mobile Objects., , и . PKDD, том 4702 из Lecture Notes in Computer Science, стр. 422-429. Springer, (2007)Variant Extensions to Prove MAS Behaviours., и . AIMSA, том 3192 из Lecture Notes in Computer Science, стр. 409-419. Springer, (2004)Service specifications: to B, or not to B., и . FMSP, стр. 62-69. ACM, (1998)Using the SPACE Intermediate Model to Help to Implement Agents., , , и . ISMIS, том 2871 из Lecture Notes in Computer Science, стр. 221-225. Springer, (2003)Feature Interactions: A Mixed Semantic Model Approach., , и . IWFM, BCS, (1997)Vérification formelle et éthique dans les SMA., , и . JFSMA, стр. 139-148. Cépaduès Éditions, (2016)Vers une aide au débuggage des SMA par l'exploitation d'échecs de preuve., и . JFSMA, стр. 139-148. Cépaduès Éditions, (2017)GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems., и . AAMAS (1), стр. 505-512. IFAAMAS, (2009)Formal Verification of Ethical Properties in Multiagent Systems., и . EDIA@ECAI, том 1668 из CEUR Workshop Proceedings, стр. 26-31. CEUR-WS.org, (2016)Vérification formelle de propriétés de vivacité pour des systèmes multi-agents probabilistes à l'aide d'arbre à décomposition de buts., , и . Rev. Ouverte Intell. Artif., 5 (4): 117-144 (2024)