Author of the publication

Extending (Object-)Z for multi-agent systems specification.

, , and . CAiSE Workshops (2), page 280-294. Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia, (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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Observed-MAS: An Ontology-Based Method for Analyzing Multi-Agent Systems Design Models., , and . AOSE, volume 4405 of Lecture Notes in Computer Science, page 122-139. Springer, (2006)AgentZ: Extending Object-Z for Multi-agent Systems Specification., , and . AOIS, volume 3508 of Lecture Notes in Computer Science, page 125-139. Springer, (2004)Taming Agents and Objects in Software Engineering., , , , , and . SELMAS, volume 2603 of Lecture Notes in Computer Science, page 1-26. Springer, (2002)Extending (Object-)Z for multi-agent systems specification., , and . CAiSE Workshops (2), page 280-294. Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia, (2004)A Learning Management System Accessible for Visual, Hearing and Physical Impairments., , , , , , and . HCI (7), volume 11572 of Lecture Notes in Computer Science, page 481-493. Springer, (2019)Towards a MAS Product Line Engineering Approach., , , , and . EMAS@AAMAS, volume 10738 of Lecture Notes in Computer Science, page 161-179. Springer, (2017)Multi-Agent System Design Verification Using Knowledge-based Reasoning., , and . SEKE, page 602-607. (2005)A Model-Based Architecture for Organizational Interoperability in Open Multiagent Systems., , , , and . COIN@AAMAS&IJCAI&MALLOW, volume 6069 of Lecture Notes in Computer Science, page 102-113. Springer, (2009)A knowledge-based approach to the specification and verification of MAS design., , and . AAMAS, page 1373. ACM, (2005)Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition., , , and . MALLOW, volume 627 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)