Classification-based parameter synthesis for parametric timed automata

Authors
Publication date
1 November 2017
Publisher
'Springer Science and Business Media LLC'
Doi

    Abstract

    National Research Foundation (NRF) Singapor

      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 24/01/2020

      Institutional Knowledge at Singapore Management University

      redirect
      oaioai:ink.library.smu.edu.sg:sis...
      Last time updated on 06/02/2021