The formal, tool supported development of real time systems Conference Proceedings uri icon

Overview

Time

Date/time value

  • 2004

Identity

Digital Object Identifier (DOI)

  • 10.1109/SEFM.2004.1347543

Additional Document Info

Parent Title

  • 2nd International Conference on Software Engineering and Formal Methods
  • PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS

Publisher

  • IEEE Computer Society