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).
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 |