Contract-Based Verification of Simulink Models
Year of publication
2011
Authors
Boström, Pontus
Organizations and authors
Åbo Akademi University
Boström Pontus
Publication type
Publication format
Article
Parent publication type
Conference
Article type
Other article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A4 Article in conference proceedingsPublication channel information
Journal/Series
13th International Conference on Formal Engineering Methods, ICFEM 2011
Parent publication name
Publisher
Springer
Volume
6991
Issue
NNNN
Pages
291-306
Open access
Open access in the publisher’s service
No information
Self-archived
Unknown
Other information
Fields of science
Computer and information sciences
Publication country
Germany
Language
English
International co-publication
No
Co-publication with a company
Unknown
DOI
10.1007/978-3-642-24559-6
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes