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...
Call Number: | Libro Electrónico |
---|---|
Corporate Author: | |
Other Authors: | , |
Format: | Electronic eBook |
Language: | Inglés |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
Edition: | 1st ed. 2016. |
Series: | Theoretical Computer Science and General Issues,
9559 |
Subjects: | |
Online Access: | Texto Completo |
Table of Contents:
- Modeling and Specification
- Testing and Debugging
- Model Checking and Verification
- Algorithm and Transformation.