Computer Communication Networks and Telecommunications
© 2013
SDL 2013: Model Driven Dependability Engineering
16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings
Editors: Electrical and Computer Engineering, F.K., Toeroe, M., Gherbi, A., Reed, R. (Eds.)
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
Buy this book
- About this book
-
This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution.
Buy this book
Services for this Book
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- SDL 2013: Model Driven Dependability Engineering
- Book Subtitle
- 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings
- Editors
-
- Ferhat Khendek Electrical and Computer Engineering
- Maria Toeroe
- Abdelouahed Gherbi
- Rick Reed
- Series Title
- Computer Communication Networks and Telecommunications
- Series Volume
- 7916
- Copyright
- 2013
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-38911-5
- DOI
- 10.1007/978-3-642-38911-5
- Softcover ISBN
- 978-3-642-38910-8
- Edition Number
- 1
- Number of Pages
- XII, 291
- Number of Illustrations and Tables
- 138 b/w illustrations
- Topics
