Concepedia

Author

Alban Linard

Laboratoire Spécification et Vérification

Also Known As

A. LINARD, A. Linard, Alban Linard, Linard, A., Linard, Alban

25

Publications

205

Citations

8

H-Index

23

Concepts

All Affiliations

Laboratoire Spécification et VérificationUniversity of Geneva
AL

About

Alban Linard is an author at Laboratoire Spécification et Vérification specializing in formal verification, software engineering, and system software.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

82

2

Computer Science

3

3

82

3

Computer Engineering

2

2

72

4

Systems Engineering

2

2

49

5

Complex Systems

1

1

39

Alban Linard

×

4

Publications

92

Citations

4

H-Index

YearCitations

Page 1