MPG.eBooks - Author Search Results

Cover Image

1

Communicating embedded systems : software and design : formal methods

by Jard, Claude
Published 2010

ISTE, Ltd.

Cover Image

2

Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Jard, Claude...”

Cover Image

3

Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures

by Cassez, Franck
Published 2001

Springer-Verlag Berlin Heidelberg

Other Authors: “...Jard, Claude...”

Cover Image

4

Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures

Published 2001

Springer Berlin Heidelberg

Other Authors: “...Jard, Claude...”