Concepedia

Author

Marc Ayel

Also Known As

Marc Ayel

18

Publications

125

Citations

5

H-Index

12

Concepts

MA

About

Marc Ayel is an author specializing in formal verification, formal methods, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

28

2

Computer Science

2

2

28

3

Systems Engineering

1

1

17

4

Knowledge Representation

1

1

11

5

Software Analysis

1

1

17