Concepedia

Author

Laure Millet

Sorbonne Université

Also Known As

Laure Millet, Millet, Laure

19

Publications

105

Citations

5

H-Index

9

Concepts

All Affiliations

Sorbonne Université
LM

About

Laure Millet is an author at Sorbonne Université specializing in formal verification, formal specification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

36

2

Computer Science

1

1

36

3

Robotics

1

1

36

4

Automation

1

1

36

5

Formal Methods

1

1

36

Laure Millet

×

1

Publications

36

Citations

1

H-Index

YearCitations

Page 1