Using Formal Specification Techniques for Advanced Counseling Systems in Health Care

Dominikus Herzberg, Nicola Marsden, Corinna Leonhardt, Peter Kübler, Hartmut Jung, Sabine Thomanek, Annette Becker. Using Formal Specification Techniques for Advanced Counseling Systems in Health Care. In Andreas Holzinger, editor, HCI and Usability for Medicine and Health Care, Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007, Graz, Austria, November, 22, 2007, Proceedings. Volume 4799 of Lecture Notes in Computer Science, pages 41-54, Springer, 2007. [doi]

Authors

Dominikus Herzberg

This author has not been identified. Look up 'Dominikus Herzberg' in Google

Nicola Marsden

This author has not been identified. Look up 'Nicola Marsden' in Google

Corinna Leonhardt

This author has not been identified. Look up 'Corinna Leonhardt' in Google

Peter Kübler

This author has not been identified. Look up 'Peter Kübler' in Google

Hartmut Jung

This author has not been identified. Look up 'Hartmut Jung' in Google

Sabine Thomanek

This author has not been identified. Look up 'Sabine Thomanek' in Google

Annette Becker

This author has not been identified. Look up 'Annette Becker' in Google