Concepedia

Author

Michael Marcotty

General Motors (United States)

Also Known As

M. J. Marcotty, M. Marcotty, Michael Marcotty

36

Publications

400

Citations

8

H-Index

14

Concepts

All Affiliations

General Motors (United States)
MM

About

Michael Marcotty is an author at General Motors (United States) specializing in formal methods, formal verification, and system software.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

123

2

Computer Science

2

2

123

3

Software Analysis

2

2

123

4

Systems Engineering

1

1

102

5

Complexity

1

1

21

Michael Marcotty

×

3

Publications

178

Citations

3

H-Index

YearCitations

Page 1