( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Incremental Specification of Telecommunication Services.

, и . ICFEM, стр. 60-69. IEEE Computer Society, (1997)

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

Eugen Bruno

Horst Bruno

Armin Bruno

Axel Brunold

 

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

Variant Extensions to Prove MAS Behaviours., и . AIMSA, том 3192 из Lecture Notes in Computer Science, стр. 409-419. Springer, (2004)A Dynamic Clustering Algorithm for Mobile Objects., , и . PKDD, том 4702 из Lecture Notes in Computer Science, стр. 422-429. Springer, (2007)Vers une aide au débuggage des SMA par l'exploitation d'échecs de preuve., и . JFSMA, стр. 139-148. Cépaduès Éditions, (2017)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)Service specifications: to B, or not to B., и . FMSP, стр. 62-69. ACM, (1998)GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems., и . AAMAS (1), стр. 505-512. IFAAMAS, (2009)Using the SPACE Intermediate Model to Help to Implement Agents., , , и . ISMIS, том 2871 из Lecture Notes in Computer Science, стр. 221-225. Springer, (2003)GDT4MAS: a formal model and language to specify and verify agent-based complex systems., и . Stud. Inform. Univ., 10 (3): 5-32 (2012)Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour., , и . DALT, том 3904 из Lecture Notes in Computer Science, стр. 124-140. Springer, (2005)