Jonatan Wiik

Publikationer

Publikationer per år 2010 2014 2016 2024

• 5 Konferensbidrag
• 3 Beställd rapport
• 2 Artikel
• 1 Doktorsavhandling

Publikationer per år

Publikationer per år

Sökresultat

• 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).

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

• 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)

• Specification and Automated Verification of Dynamic Dataflow Networks

  Wiik, J. & Boström, P., 2016, Turku Centre for Computer Science (TUCS).

  Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell