Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems

von Farhat, Salman
Veröffentlicht in International Conference on Coordination Models and Languages (25. : 2023 : Lissabon) Coordination models and languages (2023)

JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

von Bliudze, Simon
Veröffentlicht in FASE (26. : 2023 : Paris) Fundamental approaches to software engineering (2023)

Verification and Evaluation of Computer and Communication Systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018 : proceedings

Veröffentlicht 2018

Coordination models and languages : 22nd IFIP WG 6.1 international conference, COORDINATION 2020 : held as part of the 15th international federated conference on distributed comp...

Veröffentlicht 2020