SMT-based Verification of Timed Systems and Software

Publiceringsår

2014

Upphovspersoner

Kindermann, Roland

Organisationer och upphovspersoner

Aalto-universitetet

Kindermann Roland

Publikationstyp

Publikationsform

Separat verk

Målgrupp

Vetenskaplig

UKM:s publikationstyp

G5 Artikelavhandling

Publikationskanalens uppgifter

Förläggare

Aalto University

ISBN

978-952-60-5977-8

Öppen tillgång

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

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Nyckelord

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

Förlagets internationalitet

Inhemsk

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej