๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[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


[Lecture Notes in Business Information P
โœ Franch, Xavier; Soffer, Pnina ๐Ÿ“‚ Article ๐Ÿ“… 2013 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 394 KB

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

[Lecture Notes in Business Information P
โœ Franch, Xavier; Soffer, Pnina ๐Ÿ“‚ Article ๐Ÿ“… 2013 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 367 KB

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

[Lecture Notes in Business Information P
โœ Franch, Xavier; Soffer, Pnina ๐Ÿ“‚ Article ๐Ÿ“… 2013 ๐Ÿ› Springer International Publishing ๐ŸŒ English โš– 671 KB

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