( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifying Requirements Through Mathematical Modelling and Animation.

, , , и . International Journal of Software Engineering and Knowledge Engineering, 10 (2): 251-273 (2000)

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.

Michael Bode

Le groupe international de sociétés: le système de conflit de lois en droit comparé français et allemand. HU Berlin, (2009)

Michael Liecke

Subnationale Clusterpolitik: die Biotechnologiepolitik deutscher Länder im Vergleich. Uni München, (2009)

Michael Schoierer

NS-Diktatur, Anomie und Demokratisierung Westdeutschlands. Uni Augsburg, (2007)

Michael Krug

X-ray crystallographic analysis of the archaeal transcriptional regulator TrmB and development of a graphical user interface for the monochromatic diffraction data processing software XDS. Uni Konstanz, (2009)

Michael Bernateck

Komplexes Regionales Schmerzsyndrom Typ 1 (M.Sudeck): neue Aspekte zur Symptomatologie, Pathogenese, Diagnostik und Therapie. MedH Hannover, habilitation, (2009)
 

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

Verifying Social Expectations by Model Checking Truncated Paths., и . COIN@AAMAS&AAAI, том 5428 из Lecture Notes in Computer Science, стр. 204-219. Springer, (2008)How Testable are BDI Agents?: An Analysis of Branch Coverage (Extended Abstract).. AAMAS, стр. 1273-1274. ACM, (2016)Jack Intelligent Agents: An Industrial Strength Platform. Multi-Agent Programming: Languages, Platforms and Applications, том 15 из Multiagent Systems, Artificial Societies, and Simulated Organizations, глава 7, Springer, New York, NY, (2005)BDI Agent Testability Revisited (JAAMAS Extended Abstract).. AAMAS, стр. 260-261. ACM, (2017)An evolving multi agent system for meteorological alerts., , , и . AAMAS, стр. 966-967. ACM, (2003)Implementing commitment-based interactions.. AAMAS, стр. 128. IFAAMAS, (2007)Hermes: Designing Goal-Oriented Agent Interactions., и . AOSE, том 3950 из Lecture Notes in Computer Science, стр. 16-27. Springer, (2005)An Exploration of Bugs and Debugging in Multi-agent Systems., , и . ISMIS, том 2871 из Lecture Notes in Computer Science, стр. 628-632. Springer, (2003)Designing Institutional Multi-Agent Systems., , , и . AOSE, том 4405 из Lecture Notes in Computer Science, стр. 84-103. Springer, (2006)Explaining Aggregate Behaviour in Cognitive Agent Simulations Using Explanation., и . EXTRAAMAS@AAMAS, том 11763 из Lecture Notes in Computer Science, стр. 129-146. Springer, (2019)