Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code
Publiceringsår
2014
Upphovspersoner
Jonatan Wiik; Pontus Boström
Organisationer och upphovspersoner
Åbo Akademi
Wiik Jonatan
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Journal
Formal Methods and Software Engineering
Moderpublikationens namn
Konferens
conference; 2014-11-03; 2014-11-05
Sidor
396–412
ISBN
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ingen information
Parallellsparad
Nej
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Förlagets internationalitet
Inhemsk
Internationell sampublikation
Nej
Sampublikation med ett företag
Nej
DOI
10.1007/978-3-319-11737-9_26
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja