2009 Fourth South-East European Workshop on Formal Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781424456178

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Applying Weighted Finite State Machines to Protocol Performance Analysis

2009 Fourth South-East European Workshop on Formal Methods ◽

10.1109/seefm.2009.16 ◽

2009 ◽

Cited By ~ 1

Author(s):

Catalin Ionescu ◽

Eleni Berki ◽

Jyrki Nummenmaa

Keyword(s):

Performance Analysis ◽

Finite State Machines ◽

State Machines ◽

Protocol Performance ◽

Finite State

Download Full-text

An Algebraic Specification for the MPEG-2 Encoding Algorithm

2009 Fourth South-East European Workshop on Formal Methods ◽

10.1109/seefm.2009.10 ◽

2009 ◽

Cited By ~ 2

Author(s):

Katerina Ksystra ◽

Petros Stefaneas ◽

Nikolaos Triantafyllou ◽

Iakovos Ouranos

Keyword(s):

Algebraic Specification

Download Full-text

Exploring Games as Formal Models

2009 Fourth South-East European Workshop on Formal Methods ◽

10.1109/seefm.2009.15 ◽

2009 ◽

Cited By ~ 3

Author(s):

Timo Nummenmaa ◽

Eleni Berki ◽

Tommi Mikkonen

Keyword(s):

Formal Models

Download Full-text

Title Page i

2009 Fourth South-East European Workshop on Formal Methods ◽

10.1109/seefm.2009.1 ◽

2009 ◽

Keyword(s):

Title Page

Download Full-text

2009 Fourth South-East European Workshop on Formal Methods ◽

10.1109/seefm.2009.8 ◽

2009 ◽

Download Full-text

Preface

2009 Fourth South-East European Workshop on Formal Methods ◽

10.1109/seefm.2009.4 ◽

2009 ◽

Download Full-text

Invited Speaker: Deciding Properties of Services

2009 Fourth South-East European Workshop on Formal Methods ◽

10.1109/seefm.2009.7 ◽

2009 ◽

Author(s):

Wolfgang Reisig

Download Full-text

Local Enforceability and Inconsumable Messages in Choreography Models

2009 Fourth South-East European Workshop on Formal Methods ◽

10.1109/seefm.2009.12 ◽

2009 ◽

Cited By ~ 1

Author(s):

Vitaly Kozyura ◽

Andreas Roth ◽

Wei Wei

Download Full-text

Invited Speaker: Formally Specifying Autonomous and Agent-Based NASA Space Exploration Missions

2009 Fourth South-East European Workshop on Formal Methods ◽

10.1109/seefm.2009.6 ◽

2009 ◽

Author(s):

Mike Hinchey

Keyword(s):

Space Exploration ◽

Agent Based

Download Full-text

Transforming Mobile UML Statecharts Models to Nested Nets Models Using Graph Grammars: An Approach for Modeling and Analysis of Mobile Agent-Based Software Systems

2009 Fourth South-East European Workshop on Formal Methods ◽

10.1109/seefm.2009.21 ◽

2009 ◽

Cited By ~ 4

Author(s):

Mouhamed Redha Bahri ◽

Abdelkamel Hettab ◽

Allaoua Chaoui ◽

Elhillali Kerkouche

Keyword(s):

Mobile Agent ◽

Software Systems ◽

Graph Grammars ◽

Modeling And Analysis ◽

Agent Based

Download Full-text

2009 Fourth South-East European Workshop on Formal Methods
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Applying Weighted Finite State Machines to Protocol Performance Analysis

An Algebraic Specification for the MPEG-2 Encoding Algorithm

Exploring Games as Formal Models

Title Page i

Table of contents

Preface

Invited Speaker: Deciding Properties of Services

Local Enforceability and Inconsumable Messages in Choreography Models

Invited Speaker: Formally Specifying Autonomous and Agent-Based NASA Space Exploration Missions

Transforming Mobile UML Statecharts Models to Nested Nets Models Using Graph Grammars: An Approach for Modeling and Analysis of Mobile Agent-Based Software Systems

Export Citation Format

2009 Fourth South-East European Workshop on Formal MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Applying Weighted Finite State Machines to Protocol Performance Analysis

An Algebraic Specification for the MPEG-2 Encoding Algorithm

Exploring Games as Formal Models

Title Page i

Table of contents

Preface

Invited Speaker: Deciding Properties of Services

Local Enforceability and Inconsumable Messages in Choreography Models

Invited Speaker: Formally Specifying Autonomous and Agent-Based NASA Space Exploration Missions

Transforming Mobile UML Statecharts Models to Nested Nets Models Using Graph Grammars: An Approach for Modeling and Analysis of Mobile Agent-Based Software Systems

2009 Fourth South-East European Workshop on Formal Methods
Latest Publications