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).
Preview |
Text
David_Didier_Timo.pdf - Published Version Download (530kB) | Preview |
| 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 |
| Open access status: | An open access version is available from UCL Discovery |
| 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-pp.ucl.ac.uk/id/eprint/10199694 |
Downloads since deposit
13Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months
Archive Staff Only
 |
View Item |
