Volume 48, Issue 1-2 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 48, Issue 1-2

April 2016

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

Causality problem in real-time calculus
Karine Altisen
Matthieu Moy
OriginalPaper 05 April 2016 Pages: 1 - 45
Decentralised LTL monitoring
Andreas Bauer
Yliès Falcone
OriginalPaper 07 May 2016 Pages: 46 - 93
Synthesis of large dynamic concurrent programs from dynamic specifications
Paul C. Attie
OriginalPaper 28 June 2016 Pages: 94 - 147