Formal Methods (SEEFM), 2009 Fourth South-East European Workshop on
Date 4-5 Dec. 2009
Filter Results
Displaying Results 1 - 22 of 22
-
[Front cover]
|
PDF (1191 KB)
-
[Title page i]
|
PDF (30 KB)
-
[Title page iii]
|
PDF (95 KB)
-
[Copyright notice]
|
PDF (112 KB)
-
Table of contents
|
PDF (93 KB)
-
Preface
|
PDF (95 KB)
-
Committees
|
PDF (88 KB)
-
Invited Speaker: Formally Specifying Autonomous and Agent-Based NASA Space Exploration Missions
|
PDF (61 KB)
-
Invited Speaker: Deciding Properties of Services
|
PDF (66 KB)
-
-
-
-
-
Transforming Mobile UML Statecharts Models to Nested Nets Models Using Graph Grammars: An Approach for Modeling and Analysis of Mobile Agent-Based Software Systems
|
PDF (1218 KB)
-
-
-
Protocol-Based Testing of Firewalls
|
PDF (407 KB)
-
Exploring Games as Formal Models
|
PDF (281 KB)
-
From ASN.1 into CafeOBJ: Some First Steps
|
PDF (264 KB)
-
From UML Statecharts and Collaboration Diagrams to Coloured Petri Nets Models: A Graph Transformation Based Approach for Modelling and Analysis of Business Processes in Virtual Enterprises
|
PDF (477 KB)
-
Author index
|
PDF (100 KB)
-
[Publisher's information]
|
PDF (142 KB)
