Assurances for Self-Adaptive SystemsAntonia Lopes, Carlo Ghezzi, Rogerio de Lemos, Javier Camara E-bok2013732 kr
Assurances for Self-Adaptive SystemsJavier Cámara, Rogério de Lemos, Carlo Ghezzi, Antonia LopesHäftad, 2013566 kr
Formal Techniques for Distributed SystemsArnd Poetzsch-Heffter, Antonia Lopes, David Lee E-bok2009732 kr
Formal Techniques for Distributed SystemsDavid Lee, Antonia Lopes, Arnd Poetzsch-HeffterHäftad, 2009566 kr
Coordination Models and Languages : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated ConSung-Shik Jongmans, Antónia Lopes665 kr