Referentgranskade publikationer

A4 Konferenspublikationer
Modelling ‘Operation-Calls’ in Event-B with Shared-Event Composition (2016)
Andrew Edmunds, Marina Waldén
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
On Component-Based Reuse for Event-B (2016)
Andrew Edmunds, Colin Snook, Marina Waldén
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems (2016)
Andrew Edmunds, Marta Olszewska, Marina Walden
Iaria xps press


Övriga publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie
Agile Development of Formal Systems Models (2019)
Colin Snook, Marina Waldén, Andrew Edmunds, Michael Butler
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Improving the Modelling Experience in Event-B - A Literature Review (2018)
Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén
B3 Icke-referentgranskade konferenspublikationer
Towards Component-based Reuse for Event-B (2016)
Andrew Edmunds, Marina Walden, Colin Snook
Reykjavik University, Iceland
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Modelling “Operation-Calls” in Event-B with Shared-Event Composition (2015)
Andrew Edmunds, Marina Walden
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Towards Component-Based Reuse for Event-B (2015)
Andrew Edmunds, Colin Snook, Marina Walden

Senast uppdaterad 2017-20-06 vid 09:50