Yatin Khurana
Yatin-Khurana
Floating. Probably on Autopilot
@BoltzRnD @BoltzRnD-OSP Uttar Pradesh, India
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Roman Dvořák
roman-dvorak
@ThunderFly-aerospace @UniversalScientificTechnologies @ODZ-UJF-AV-CR Czech republic, Prague