Requirements specification of an automotive system with hybrid sequence charts
暂无分享,去创建一个
[1] John B. Shoven,et al. I , Edinburgh Medical and Surgical Journal.
[2] Frank Buschmann,et al. A system of patterns , 1995 .
[3] Cheryl Dietz,et al. Graphical Formalization of Real-Time Requirements , 1996, FTRTFT.
[4] Robert L. Grossman,et al. Timed Automata , 1999, CAV.
[5] Gaetano Borriello,et al. Symbolic timing verification of timing diagrams using Presburger formulas , 1997, DAC.
[6] Ingolf Krüger,et al. Hybrid Sequence Charts , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).
[7] Manfred Broy,et al. A Graphical Description Technique for Communication in Software Architectures , 1997 .
[8] Thomas Stauner,et al. Using HYTECH to Verify an Automative Control System , 1997, HART.