Open Source AADL Tool Environment
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Gabe Gomes
gabegomes
Assistant Professor at Carnegie Mellon University with the @gomesgroup | Departments of Chemistry + ChemEng
Sari
Sari-Alkhatib
Graduate Research Assistant (PhD Student)
Research interests: Screening Process in PRA, Fire PRA, Decision-Making, and Risk Analysis and Risk Mgmt Integration