[Lecture Notes in Business Information Processing] Advanced Information Systems Engineering Workshops Volume 148 || Towards a Formal Approach for Prototyping and Verifying Self-Adaptive Systems
โ Scribed by Franch, Xavier; Soffer, Pnina
- Book ID
- 120973817
- Publisher
- Springer Berlin Heidelberg
- Year
- 2013
- Weight
- 482 KB
- Category
- Article
- ISBN
- 3642384900
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
This book constitutes the thoroughly refereed proceedings of eight international workshops held in Valencia, Spain, in conjunction with the 25th International Conference on Advanced Information Systems Engineering, CAiSE 2013, in June 2013. The 36 full and 12 short papers have undertaken a high-qual
This book constitutes the thoroughly refereed proceedings of eight international workshops held in Valencia, Spain, in conjunction with the 25th International Conference on Advanced Information Systems Engineering, CAiSE 2013, in June 2013. The 36 full and 12 short papers have undertaken a high-qual
This book constitutes the thoroughly refereed proceedings of eight international workshops held in Valencia, Spain, in conjunction with the 25th International Conference on Advanced Information Systems Engineering, CAiSE 2013, in June 2013. The 36 full and 12 short papers have undertaken a high-qual