SDL 2013 : model-driven dependability engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013 proceedings
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 o...
Auteurs principaux : | , , , |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | SDL 2013 : model-driven dependability engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013 : proceedings / edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed |
Édition : | 1st ed. 2013. |
Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, [20..] Cham : Springer Nature |
Collection : | Computer Communication Networks and Telecommunications ; 7916 |
Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex |
Condition d'utilisation et de reproduction : | Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |
Contenu : | Verification and testing. Dependability engineering. Analysis. Domain specific languages. Model transformation. Specification and description language.- Evolution |
Sujets : | |
Documents associés : | Autre format:
SDL 2013: Model-Driven Dependability Engineering Autre format: SDL 2013: Model Driven Dependability Engineering |
Chargement en cours