Article
Workshop on Model Based Design for Cyber-Physical Systems (MB4CP)
Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (2015, Rio de Janeiro, Brazil)
Abstract
This paper provides a summary of the First International Workshop on Model Based Design for Cyber- Physical Systems (MB4CP 2015) in conjunction with DSN 2015 conference in Rio de Janeiro, Brazil.
Meeting Name
45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (2015: Jun. 22-25, Rio de Janeiro, Brazil)
Department(s)
Electrical and Computer Engineering
Keywords and Phrases
- Computer Networks,
- Information Systems,
- Cyber Physical Systems (CPSs),
- International Workshops,
- Model-Based Designs,
- Embedded Systems,
- Unified Modeling Language,
- Analytical Models,
- Conferences,
- Computational Modeling,
- Electronic Mail,
- Adaptation Models
International Standard Book Number (ISBN)
978-1479986293
Document Type
Article - Conference proceedings
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 2015 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.
Publication Date
6-1-2015
Publication Date
01 Jun 2015
Disciplines
Citation Information
Alberto A. Avritzer, Daniel Sadoc Menasche, Kishor S. Trivedi, Lucia Happe, et al.. "Workshop on Model Based Design for Cyber-Physical Systems (MB4CP)" Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (2015, Rio de Janeiro, Brazil) (2015) p. 565 - 566 ISSN: 1530-0889; 2158-3927 Available at: http://works.bepress.com/sahra-sedigh/63/