Concepedia

Jaime Olmos

JO

1

Publications

12

Citations

1

H-Index

1978

Active since

Affiliations

Massachusetts Institute of Technology(Current)

Jaime Olmos is an author at Massachusetts Institute of Technology specializing in formal methods, verification, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationReliability Engineering

Publications per year

1978–1978

1

Publications

1

A modular representation and analysis of fault tress

Jaime Olmos, L. Wolf · Nuclear Engineering and Design · 1978 · 12 citations

Reliability Engineering, Engineering, Verification +8

Rows per page

1–1 of 1