Model Checking Safety-Critical Systems Using Safecharts

DOI10.1109/TC.2007.1021zbMath1390.68430OpenAlexW2121908619MaRDI QIDQ4564162

Yean-Ru Chen, Yen-Hung Lin, Pao-Ann Hsiung

Publication date: 12 June 2018

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.2007.1021

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Unnamed Item

This page was built for publication: Model Checking Safety-Critical Systems Using Safecharts