Atle Refsdal posted a discussion
The paper "Mandatory and Potential Choice: Comparing Event-B and STAIRS" by Atle Refsdal, Ragnhild Kobro Runde and Ketil Stølen will appear in the book "From Action Systems to Distributed Systems - The Refinement Approach". Edited by Luigia Petre an…
Feb 29, 2016
Atle Refsdal posted a discussion
The paper "Divide and Conquer – Towards a Notion of Risk Model Encapsulation" by Atle Refsdal, Øyvind Rideng, Bjørnar Solhaug, and Ketil Stølen has been accepted for publication in "Engineering Secure Future Internet Services", LNCS 8431, published…
May 6, 2014
Atle Refsdal updated their profile
May 6, 2014
Atle Refsdal is now a member of CONCERTO Project
May 6, 2014
CONCERTO is partially funded by the ARTEMIS Joint Undertaking under the 7th Framework Programme for Information and Communications Technologies.
Any opinions expressed on these pages are those of the author / organisation and do not necessarily reflect the views of the ARTEMIS JU or the European Commission.