Formalizing incremental design in real-time area: SCTL/MUS-T
暂无分享,去创建一个
[1] Rajeev Alur,et al. Model-Checking in Dense Real-time , 1993, Inf. Comput..
[2] Angelo Morzenti,et al. Object-oriented logical specification of time-critical systems , 1994, TSEM.
[3] Jorge García Duque,et al. SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study , 2001, Formal Aspects of Computing.
[4] Ana Fernández Vilas. Tratamiento formal de sistemas con requisitos de tiempo real críticos , 2002 .
[5] Scott A. Smolka,et al. Local Model Checking for Real-Time Systems (Extended Abstract) , 1995, CAV.
[6] L. Bolc,et al. Many-Valued Logics , 1992 .