Compositional model-based system design as a foundation for mastering change
Year of publication
2014
Authors
Tripakis, Stavros
Organizations and authors
Aalto University
Tripakis Stavros
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
Parent publication name
Conference
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Publisher
Volume
8802
Pages
524-526
ISSN
ISBN
Publication forum
Publication forum level
1
Open access
Open access in the publisher’s service
No
Self-archived
No
Other information
Fields of science
Computer and information sciences
Internationality of the publisher
International
Language
English
International co-publication
Yes
Co-publication with a company
No
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes