Parametrised Compositional Verification with Multiple Process and Data Types

Julkaisuvuosi

2013

Tekijät

Siirtola, Antti; Heljanko, Keijo

Organisaatiot ja tekijät

Aalto-yliopisto

Heljanko Keijo

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli:

Yleisö

Tieteellinen

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Julkaisukanavan tiedot

Emojulkaisun nimi

13th International Conference on Application of Concurrency to System Design, Barcelona, Spain, July 8-10, 2013

Kustantaja

IEEE

Sivut

67-76

ISBN

978-0-7695-5035-0

Julkaisufoorumi

51455

Julkaisufoorumitaso

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Rinnakkaistallennettu

Muut tiedot

Tieteenalat

Tilastotiede; Tietojenkäsittely ja informaatiotieteet; Sähkö-, automaatio- ja tietoliikennetekniikka, elektroniikka; Psykologia; Media- ja viestintätieteet; Sosiologia

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Yhteisjulkaisu yrityksen kanssa

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä