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

• 2016

  Contract-Based Verification of MATLAB-Style Matrix Programs

  Wiik, J. & Boström, P., 2016, In: Formal Aspects of Computing. 28, 1, p. 79–107

  Research output: Contribution to journal › Article › Scientific › peer-review
  1 Citation (Scopus)
• 2015

  Contract-based verification of discrete-time multi-rate Simulink models

  Boström, P. & Wiik, J., 2015, In: Software and Systems Modeling. p. –

  Research output: Contribution to journal › Article › Scientific › peer-review
  14 Citations (Scopus)