Stebėti
Vitaly Savicks
Vitaly Savicks
PhD in Computer Science, University of Southampton
Patvirtintas el. paštas ecs.soton.ac.uk
Pavadinimas
Cituota
Cituota
Metai
UML-B: Formal modeling and design aided by UML
C Snook, M Butler
ACM Transactions on Software Engineering and Methodology (TOSEM) 15 (1), 92-122, 2006
4432006
Horse behaviour: evolution, domestication and feralisation
D Goodwin
The welfare of horses, 1-18, 2007
2152007
Co-simulating Event-B and continuous models via FMI
V Savicks, M Butler, J Colley
302014
Verification of UML models by translation to UML-B
C Snook, V Savicks, M Butler
Formal Methods for Components and Objects: 9th International Symposium, FMCO …, 2012
252012
Co-simulation environment for Rodin: landing gear case study
V Savicks, M Butler, J Colley
ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th …, 2014
112014
Rodin multi-simulation plug-in
V Savicks, M Butler, J Colley, J Bendisposto
82014
Co-simulation of Event-B and Ptolemy II Models via FMI
JC Chaudemar, V Savicks, M Butler, J Colley
Embedded Real Time Software and Systems (ERTS2014), 2014
72014
A framework for diagrammatic modelling extensions in Rodin
V Savicks, C Snook
Rodin Workshop, 31-32, 2012
72012
Co-simulation of Event-B and Continuous Models in Rodin
V Savicks, M Butler, J Bendisposto, J Colley
42013
Integrating Formal Verification and Simulation of Hybrid Systems
V Savicks
University of Southampton, 2016
22016
Integrating Formal Verification and Simulation of Hybrid Systems-Rodin Multi-simulation Plug-in
V Savicks, M Butler, J Colley
Doctoral Consortium on Simulation and Modeling Methodologies, Technologies …, 2014
12014
Integrating Formal Verification and Simulation of Hybrid Systems: Rodin Multi-Simulation Plug-in
S Vitaly
2014
Frameworks for developing Event-B modelling extensions in EMF
C Snook, V Savicks, F Fritz, A Illisaov
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–13