Author:
Bureš Tomáš,Gerostathopoulos Ilias,Keznikl Jaroslav,Plášil František,Tůma Petr
Publisher
Springer International Publishing
Reference14 articles.
1. Abeywickrama, D.B., Bicocchi, N., Zambonelli, F.: SOTA: Towards a General Model for Self-Adaptive Systems. In: Proc. of WETICE, pp. 48–53. IEEE (2012)
2. Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: DEECo — an Ensemble-Based Component System. In: Proc. of CBSE 2013, Vancouver, Canada, pp. 81–90. ACM (June 2013)
3. Buttazzo, G.C.: Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, 3rd edn. Springer (2011)
4. Lecture Notes in Computer Science;R. Darimont,1996
5. Fuxman, A., Pistore, M., Mylopoulos, J., Traverso, P.: Model Checking Early Requirements Specifications in Tropos. In: Proc. of RE 2001, Toronto, ON, Canada, pp. 174–181. IEEE (August 2001)