Vitaly Lagoon

PhD
Principal SE, Formal Methods
The MathWorks, Inc · Control Design Automation

Featured publications View all

Topics(10)

Skills and expertise(3) View all

23 Following View all

16 Followers View all