Concepedia

Author

Steven Smyth

Also Known As

Smyth, Steven, Steven Patrick Smyth, Steven Smyth

48

Publications

297

Citations

8

H-Index

24

Concepts

All Affiliations

SS

About

Steven Smyth is an author at Christian-Albrechts-Universität zu Kiel specializing in formal methods, computer science, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

188

2

Computer Science

4

4

188

3

Systems Engineering

4

4

188

4

Computer Engineering

1

1

72

5

Cyber Physical Systems

1

1

72

Steven Smyth

×

5

Publications

199

Citations

5

H-Index

YearCitations

Page 1