External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On composing and proving the correctness of reactive behavior

David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss. On composing and proving the correctness of reactive behavior. In Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013. pages 1-10, IEEE, 2013. [doi]

Authors

David Harel

This author has not been identified. It may be one of the following persons: Look up 'David Harel' in Google

Amir Kantor

This author has not been identified. Look up 'Amir Kantor' in Google

Guy Katz

This author has not been identified. Look up 'Guy Katz' in Google

Assaf Marron

This author has not been identified. Look up 'Assaf Marron' in Google

Lior Mizrahi

This author has not been identified. Look up 'Lior Mizrahi' in Google

Gera Weiss

This author has not been identified. Look up 'Gera Weiss' in Google
runs on