Concepedia

Author

D. Cruette

Laboratoire d'Automatique, Génie Informatique et Signal

Also Known As

D. Cruette

2

Publications

12

Citations

1

H-Index

14

Concepts

All Affiliations

Laboratoire d'Automatique, Génie Informatique et Signal
DC

About

D. Cruette is an author at Laboratoire d'Automatique, Génie Informatique et Signal specializing in formal verification, computer engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

12

2

Computer Engineering

1

1

12

3

Computer Science

1

1

12

4

Systems Engineering

1

1

12

5

Software Analysis

1

1

12

D. Cruette

×

1

Publications

12

Citations

1

H-Index

YearCitations

Hierarchical specification and validation of operating sequences in the context of FMSs

D. Cruette, J.P. Bourey, J.C. Gentina

Computer Integrated Manufacturing Systems

1991

12

Page 1