Items where Author is "Gjondrekaj, Edmond"
Jump to: Article | Book Section Number of items: 3. ArticleGjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco Modeling Adaptation with Klaim. SIGAPP Applied Computing Review, 12 (4). pp. 21-35. (2012) Book SectionGjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco Modeling adaptation with a tuple-based coordination language. In: Proceedings of the 27th Symposium On Applied Computing (SAC). ACM Press, pp. 1522-1527. ISBN 978-1-4503-0857-1 (2012) Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco and Pinciroli, Carlo and Brambilla, Manuele and Birattari, Mauro and Dorigo, Marco Towards a Formal Verification Methodology for Collective Robotic Systems. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science (7635). Springer, pp. 54-70. ISBN 978-3-642-34280-6 (2012) |
