Galmiche, Didier;
Lang, Timo;
Pym, David;
(2025)
Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning.
In: Galmiche, Didier and Lang, Timo and Pym, David, (eds.)
Simulation Tools and Techniques (SIMUtools 2024).
(pp. pp. 48-71).
Springer Nature: Cham, Switzerland.
![[thumbnail of David_Didier_Timo.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/text.png) |
Text
David_Didier_Timo.pdf - Published Version Access restricted to UCL open access staff until 30 April 2026. 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, Slovakia |
| Dates: | 9th-10th December 2024 |
| ISBN-13: | 978-3-031-87344-7 |
| DOI: | 10.1007/978-3-031-87345-4_4 |
| Publisher version: | https://doi.org/10.1007/978-3-031-87345-4_4 |
| 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
3Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months
Archive Staff Only
 |
View Item |
