External Links

Cite Key

Statistics

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

PDF

Tags

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.

Formal Semantics of a VDM Extension for Distributed Embedded Systems

Jozef Hooman, Marcel Verhoef. Formal Semantics of a VDM Extension for Distributed Embedded Systems. In Dennis Dams, Ulrich Hannemann, Martin Steffen, editors, Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever. Volume 5930 of Lecture Notes in Computer Science, pages 142-161, Springer, 2010. [doi]

Authors

Jozef Hooman

This author has not been identified. Look up 'Jozef Hooman' in Google

Marcel Verhoef

This author has not been identified. Look up 'Marcel Verhoef' in Google
runs on