Open Source AADL Tool Environment
Users following osate
Blake Edwards
blakete
ai + robots + aerospace @ MIT,
Previously ai + autonomous vehicles @ Boeing
Human on Earth Cambridge, MA
Pavlo Bondarenko
OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast
Denver, CO
agisota
agisota
@yolorollo @ton-bot @pizdarikihq @hummingcraft @webmindapp @jetrover @christofari human in the loop
Ahmed Osama
ahmedosama07
Add a Bio
@https-github-com-MiaRoboticsTeam || @IEEE-AlexSB-Technical-Committee || @IEEE-AlexSB-SW-team Alexandria, Egypt
Ruizhe Yang
Ruizhe-Yang
To Yang, too simple, sometimes naive.
Dalian University of Technology Dalian, Liaoning, China
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, Chemical Engineering, Machine Learning}
@gomesgroup Pittsburgh, PA
Sari
Sari-Alkhatib
Postdoc at Argonne National Lab (ANL)
Research interests: Screening Process in PRA, Fire PRA, Decision-Making, and Risk Analysis and Risk Mgmt Integration