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.

A Real-Time Extension of Creol for Modelling Biomedical Sensors

Marcel Kyas, Einar Broch Johnsen. A Real-Time Extension of Creol for Modelling Biomedical Sensors. In Frank S. de Boer, Marcello M. Bonsangue, Eric Madelain, editors, Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures. Volume 5751 of Lecture Notes in Computer Science, pages 42-60, Springer, 2008. [doi]

Authors

Marcel Kyas

This author has not been identified. Look up 'Marcel Kyas' in Google

Einar Broch Johnsen

This author has not been identified. Look up 'Einar Broch Johnsen' in Google
runs on