Wyniki wyszukiwania dla: Ragnhild Kobro Runde
Lecture Notes in Computer Science > Scenarios: Models, Transformations and Tools > Scenarios: Models, Transformations and Tools > 1-25
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 138-155
Lecture Notes in Computer Science > Models in Software Engineering > W6 – Real-Time and Embedded Systems > 131-142
Lecture Notes in Computer Science > Formal Methods for Components and Objects > System Design > 88-114
Lecture Notes in Business Information Processing > Agent-Based Technologies and Applications for Enterprise Interoperability > Agent Interaction > 154-173
International Journal on Software Tools for Technology Transfer > 2014 > 16 > 5 > 627-642
Software & Systems Modeling > 2013 > 12 > 4 > 789-824
Formal Aspects of Computing > 2013 > 25 > 2 > 159-187
Software & Systems Modeling > 2005 > 4 > 4 > 355-357