Efficient Model Checking of PSL Safety Properties

Publiceringsår

2011

Upphovspersoner

Launiainen, Tuomas; Heljanko, Keijo; Junttila, Tommi

Organisationer och upphovspersoner

Aalto-universitetet

Junttila Tommi

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Tidning

Artikelstyp

En originalartikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A1 Originalartikel i en vetenskaplig tidskrift

Publikationskanalens uppgifter

Journal

IET Computers and Digital Techniques

Förläggare

Wiley

Volym

Nummer

Sidor

479-492

ISSN

1751-8601

Publikationsforum

57618

Publikationsforumsnivå

Öppen tillgång

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

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Statistik; Data- och informationsvetenskap; El-, automations- och telekommunikationsteknik, elektronik; Psykologi; Medie- och kommunikationsvetenskap; Sociologi

Nyckelord

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

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej

DOI

10.1049/iet-cdt.2010.0154