Digital Microhydraulics (TEKES programme EFFIMA)

Filter

2014
Deriving Efficient and Dependable Parallel Programs from Simulink Models
Ostroumov, S., Boström, P., Walden, M. & Huova, M., 2014, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1111)
Research output: Book/Journal/Report › Commissioned report › Professional

Open Access
File
100 Downloads (Pure)
Modular Verification of Finite Blocking in Non-terminating Programs
Boström, P. & Müller, P., 2014, ETH-Zürich.
Research output: Book/Journal/Report › Commissioned report › Professional
2010

An Approach to Contract-Based Verification of Simulink Models
Boström, P., Grönblom, R., Huotari, T. & Wiik, J., 2010, Turku Centre for Computer Science (TUCS).
Research output: Book/Journal/Report › Commissioned report › Professional

Research output