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