Vitaly Savicks

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Complex Systems

Parametric Models

Top Venues

ABZ (Case Study)

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Vitaly Savicks, Michael J. Butler, John Colley
Co-simulating event-B and continuous models via FMI. SummerSim (2014)
Vitaly Savicks, Michael J. Butler, John Colley
Co-simulation Environment for Rodin: Landing Gear Case Study. ABZ (Case Study) (2014)
Colin F. Snook, Vitaly Savicks, Michael J. Butler
Verification of UML Models by Translation to UML-B. FMCO (2010)