SDL 2013: Model Driven Dependability Engineering

SDL 2013: Model Driven Dependability Engineering
Author: Ferhat Khendek
Publisher: Springer
Total Pages: 302
Release: 2013-06-12
Genre: Computers
ISBN: 3642389112


Download SDL 2013: Model Driven Dependability Engineering Book in PDF, Epub and Kindle

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.


SDL 2013: Model Driven Dependability Engineering
Language: en
Pages: 302
Authors: Ferhat Khendek
Categories: Computers
Type: BOOK - Published: 2013-06-12 - Publisher: Springer

GET EBOOK

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,
SDL 2017: Model-Driven Engineering for Future Internet
Language: en
Pages: 184
Authors: Tibor Csöndes
Categories: Computers
Type: BOOK - Published: 2017-09-25 - Publisher: Springer

GET EBOOK

This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017. The 10 full
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Language: en
Pages: 285
Authors: Paulo Carreira
Categories: Computers
Type: BOOK - Published: 2020-05-07 - Publisher: Springer Nature

GET EBOOK

This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting
Distributed Real-Time Architecture for Mixed-Criticality Systems
Language: en
Pages: 638
Authors: Hamidreza Ahmadian
Categories: Computers
Type: BOOK - Published: 2018-09-05 - Publisher: CRC Press

GET EBOOK

This book describes a cross-domain architecture and design tools for networked complex systems where application subsystems of different criticality coexist and
Complex Systems Design & Management Asia
Language: en
Pages: 290
Authors: Michel-Alexandre Cardin
Categories: Technology & Engineering
Type: BOOK - Published: 2016-01-25 - Publisher: Springer

GET EBOOK

This book contains all refereed papers that were accepted to the second edition of the Asia-Pacific conference on « Complex Systems Design & Management Asia»