![[IEEE Comput. Soc. Press ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - Montreal, Que., Canada (21-25 Oct. 1996)] Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - Using TILCO for specifying real-time systems]()
[IEEE Comput. Soc. Press ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - Montreal, Que., Canada (21-25 Oct. 1996)] Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW) - Using TILCO for specifying real-time systemsMattolini, R.; Nesi, P. · 1996