SDL 2013: Model Driven Dependability Engineering [electronic resource]: 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings
- Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications Ser. 7916
- Restrictions on Access:
- License restrictions may limit access.
- Annotation 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.
- 9783642389108 and 3642389104 (Trade Paper)
- Audience Notes:
- Scholarly & Professional Springer
View MARC record | catkey: 23181381