Oleksandr Sheleh

Publication Activity (10 Years)

Years Active: 2008-2009
Publications (10 Years): 0

Publications

Josef Börcsök, Walid Chaaban, Michael H. Schwarz, Huiyun Sheng, Oleksandr Sheleh, Batsuren Batchuluun
An automated software verification tool for model-based development of embedded systems with simulink®. ICAT (2009)
Michael H. Schwarz, Huiyun Sheng, Batsuren Batchuluun, Oleksandr Sheleh, Walid Chaaban, Josef Börcsök
Reliable software development methodology for safety related applications: From simulation to reliable source code. ICAT (2009)
Michael H. Schwarz, Huiyun Sheng, Oleksandr Sheleh, Josef Börcsök
Matlab® / Simulink® generated source code for safety related systems. AICCSA (2008)