Matthew Morley

Publication Activity (10 Years)

Years Active: 1995-2001
Publications (10 Years): 0

Publications

Yoav Hollander, Matthew Morley, Amos Noy
The e Language: A Fresh Separation of Concerns. TOOLS (38) (2001)
Axel Poigné, Matthew Morley, Olivier Maffeïs, Leszek Holenderski, Reinhard Budde
The Synchronous Approach to Designing Reactive Systems. Formal Methods Syst. Des. 12 (2) (1998)
Monika Müllerburg, Leszek Holenderski, Olivier Maffeïs, Agathe Merceron, Matthew Morley
Systematic testing and formal verification to validate reactive programs. Softw. Qual. J. 4 (4) (1995)