Login / Signup

Towards the Formal Analysis of UML Activity Diagrams in a Calculus of Context-aware Ambients.

François Siewe
Published in: COMPSAC (2023)
Keyphrases