Jonatan Wiik

Publications

Research output per year 2010 2014 2016 2024

• 5 Conference contribution
• 3 Commissioned report
• 2 Article
• 1 Doctoral Thesis

Research output per year

Research output per year

Search results

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

  Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code

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

  Research output: Book/Journal/Report › Commissioned report › Professional

  4 Citations (Scopus)
• 2016

  Specification and Automated Verification of Dynamic Dataflow Networks

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

  Research output: Book/Journal/Report › Commissioned report › Professional