Extending the SCR method for real-time systems
From MaRDI portal
Publication:1595888
DOI10.1023/A:1026585115440zbMath0963.68137OpenAlexW1557511388MaRDI QIDQ1595888
Seung Mo Cho, Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha
Publication date: 18 February 2001
Published in: Real-Time Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1026585115440
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: Extending the SCR method for real-time systems