Open Source AADL Tool Environment
Users following osate
Blake Edwards
blakete
AI × Robots × Aerospace @ MIT,
Previously AI + Autonomous Vehicles @ Boeing, DARPA
MIT Earth
agisota
agisota
@agisotadev @pzdrk @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
Research Scientist at @theteamatx | Assistant Professor (on leave) at Carnegie Mellon University with the @gomesgroup
@theteamatx San Francisco, CA
Sari
Sari-Alkhatib
Source Term Analysis, Screening Process in PRA, Fire PRA, Decision-Making, and Risk Analysis and Risk Mgmt Integration