A formal framework for modeling and validating Simulink diagrams

Authors
Publication date
1 January 2009
Publisher
'Springer Science and Business Media LLC'
Doi

    Abstract

    10.1007/s00165-009-0108-9Formal Aspects of Computing215451-483FACM

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Institutional Knowledge at Singapore Management University

      redirect
      oaioai:ink.library.smu.edu.sg:sis...
      Last time updated on 16/03/2020

      ScholarBank@NUS

      redirect
      oaioai:scholarbank.nus.edu.sg:106...
      Last time updated on 09/11/2016