相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。A comprehensive survey of industry practice in real-time systems
Benny Akesson et al.
REAL-TIME SYSTEMS (2022)
On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks
A. B. Glonina et al.
AUTOMATIC CONTROL AND COMPUTER SCIENCES (2018)
Symbolic unfolding of parametric stopwatch Petri nets
Claude Jard et al.
FORMAL METHODS IN SYSTEM DESIGN (2013)
Improving the Construction of the DBM Over Approximation of the State Space of Real-time Preemptive Systems
Abdelli Abdelkrim
ACTA CYBERNETICA (2012)
Reachability problems and abstract state spaces for Time Petri nets with stopwatches
Bernard Berthomieu et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2007)
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches
Morgan Magnin et al.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2006)
Timed state space analysis of real-time preemptive systems
G Bucci et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2004)