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.

Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study

Xintao Ma, Jonas Rinast, Sibylle Schupp, Dieter Gollmann. Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study. In Volker Turau, Marta Z. Kwiatkowska, Rahul Mangharam, Christoph Weyer, editors, 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014. Volume 36 of OASICS, pages 100-112, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]

Authors

Xintao Ma

This author has not been identified. Look up 'Xintao Ma' in Google

Jonas Rinast

This author has not been identified. Look up 'Jonas Rinast' in Google

Sibylle Schupp

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

Dieter Gollmann

This author has not been identified. Look up 'Dieter Gollmann' in Google
runs on