Model Checking Dynamic and Hierarchical UML State Machines

Publiceringsår

2006

Upphovspersoner

Jussila, Toni; Dubrovin, Jori; Junttila, Tommi; Latvala, Timo; Porres, Ivan

Organisationer och upphovspersoner

Aalto-universitetet

Junttila Tommi

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Moderpublikationens namn

3rd Workshop on Model Design and Validation (MoDeVa 2006), Genova, Italy, October 2nd 2006

Sidor

94-110

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Nej

Övriga uppgifter

Nyckelord

[object Object],[object Object],[object Object]

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej