Regenerative hydraulic hybrid with digi-valve and multi-chamber cylinder tehnology (TEKES-programme EFFIMA)

Filter

2014

Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code
Wiik, J. & Boström, P., 2014, Turku Centre for Computer Science (TUCS).
Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

4 Citeringar (Scopus)
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)
Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

Öppen tillgång
Fil
84 Nedladdningar (Pure)
2011

Simulink-Specific Design Quality Metrics
Olszewska, M., 2011, Turku Centre for Computer Science (TUCS).
Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

Forskningsresultat