Concepedia

Author

Matthew Morley

Gesellschaft Fur Mathematik Und Datenverarbeitung

Also Known As

M. J. Morley, M.J. Morley, Matthew J. Morley, Matthew Morley, Morley, Matthew

8

Publications

99

Citations

4

H-Index

14

Concepts

All Affiliations

Gesellschaft Fur Mathematik Und Datenverarbeitung
MM

About

Matthew Morley is an author at Gesellschaft Fur Mathematik Und Datenverarbeitung specializing in engineering, software verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

42

2

Communication

1

1

20

3

Computer Science

1

1

22

4

Systems Engineering

1

1

20

5

Software Analysis

1

1

22

Matthew Morley

×

3

Publications

71

Citations

3

H-Index

YearCitations

The Synchronous Approach to Designing Reactive Systems

Axel Poigné, Matthew Morley, Olivier Maffeïs,

Formal Methods in System Design

1998

29

Systematic testing and formal verification to validate reactive programs

Monika M�llerburg, Leszek Holenderski, Olivier Maffeïs,

Software Quality Journal

1995

22

Safety-level communication in railway interlockings

Matthew Morley

Science of Computer Programming

1997

20

Page 1