Title :
Table of contents
Abstract :
The following topics are dealt with: choreography models; model checking; formal visual modelling;mobile UML statecharts modelling;nested net models; finite state machines; firewalls; MPEG-2 encoding algorithm; formal models and Petri Net models.
Keywords :
Petri nets; Unified Modeling Language; finite state machines; formal specification; MPEG-2 encoding algorithm; Petri Net models; choreography models; finite state machines; firewalls; formal methods; formal visual modelling; mobile UML statecharts modelling; model checking; nested net models;
Conference_Titel :
Formal Methods (SEEFM), 2009 Fourth South-East European Workshop on
Conference_Location :
Thessalonihi
Print_ISBN :
978-1-4244-5617-8
DOI :
10.1109/SEEFM.2009.8
