Conference Proceedings

The formal, tool supported development of real time systems

RO Sinnott, JR Cuellar, ZM Liu

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. | IEEE COMPUTER SOC | Published : 2004