Chargement en cours…

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected fro...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Liu, Shaoying (Éditeur intellectuel), Duan, Zhenhua (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Cham : Springer International Publishing : Imprint: Springer, 2016.
Édition:1st ed. 2016.
Collection:Theoretical Computer Science and General Issues, 9559
Sujets:
Accès en ligne:Texto Completo
Table des matières:
  • Modeling and Specification
  • Testing and Debugging
  • Model Checking and Verification
  • Algorithm and Transformation.