Deriving mode invariants from SCR specifications

Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) ◽

10.1109/iceccs.1996.558533 ◽

2002 ◽

Author(s):

Zhenyi Jin

Download Full-text