Registered user since Thu 1 Jun 2017
Name: Aleksey Nogin
Country: United States
Affiliation: HRL Laboratories, LLC
Personal website: https://nogin.org/
Contributions
| DSW 2017 | Using formal tools to develop high-assurance software for autonomous ground vehicles | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile