Quantitative model refinement in four different frameworks, with applications to the heat shock response




Gratie Diana-Elena, Iancu Bogdan, Azimi Sepinoud, Petre Ion

Petre Luigia, Sekerinski Emil

2016

From Action Systems to Distributed Systems: the Refinement Approach

201

214




Last updated on 2024-26-11 at 21:38