Volume 34, Issue 3 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 34, Issue 3

June 2009

Filter by

Volume:

Sort by

Date published:

New to old Old to new

2 articles in this issue

Distributed synthesis for well-connected architectures
Paul Gastin
Nathalie Sznajder
Marc Zeitoun
OriginalPaper 16 January 2009 Pages: 215 - 237
Conformance testing for real-time systems
Moez Krichen
Stavros Tripakis
OriginalPaper 14 February 2009 Pages: 238 - 304