Semantics and Execution Time of New Timed Statecharts
From MaRDI portal
Publication:4589213
DOI10.3233/FI-2016-1414zbMath1373.68161OpenAlexW2552774840MaRDI QIDQ4589213
Publication date: 9 November 2017
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2016-1414
Analysis of algorithms and problem complexity (68Q25) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)
This page was built for publication: Semantics and Execution Time of New Timed Statecharts