Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories
Crossref DOI link: https://doi.org/10.1007/s11219-014-9259-x
Published Online: 2014-11-20
Published Print: 2016-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bauch, Petr http://orcid.org/0000-0002-4368-2772
Havel, Vojtěch
Barnat, Jiří
Text and Data Mining valid from 2014-11-20