UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning

Galmiche, Didier; Lang, Timo; Pym, David; (2024) Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning. In: Proceedings of the 16th EAI International Conference on Simulation Tools and Techniques. Springer Nature (In press).

[thumbnail of David_Didier_Timo.pdf] Text
David_Didier_Timo.pdf - Published Version
Access restricted to UCL open access staff until 8 May 2025.

Download (530kB)
Type: Proceedings paper
Title: Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
Event: 16th EAI International Conference on Simulation Tools and Techniques
Location: Bratislava
Dates: 9 Dec 2024 - 10 Dec 2024
Publisher version: https://link.springer.com/conference/simutools
Language: English
Additional information: This version is the author accepted manuscript. For information on re-use, please refer to the publisher's terms and conditions.
UCL classification: UCL
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: https://discovery.ucl.ac.uk/id/eprint/10199694
Downloads since deposit
1Download
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item