Contract-Based Verification of Simulink Models

Publiceringsår

2011

Upphovspersoner

Boström, Pontus

Organisationer och upphovspersoner

Åbo Akademi

Boström Pontus

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

Journal/Serie

13th International Conference on Formal Engineering Methods, ICFEM 2011

Moderpublikationens namn

LNCS

Förläggare

Springer

Volym

6991

Nummer

NNNN

Sidor

291-306

Öppen tillgång

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

Ingen information

Parallellsparad

Okänd

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Publiceringsland

Tyskland

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag