EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Mukhopadhyay, S.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 4.

2015

Klaassen, B. and Bartels, P.G.H. and van Beijnum, B.J.F. and Hermens, H.J. (2015) The development and evaluation of an arm usage coach for Stroke survivors. In: 9th International Conference on Sensing Technology (ICST 2015), 08-10 Dec 2015, Auckland, New Zealand. pp. 514-519. IEEE Instrumentation and Measurement Society. ISSN 2156-8073

2006

Rensink, A. and Distefano, D.S. (2006) Abstract Graph Transformation. In: Proceedings of the Third International Workshop on Software Verification and Validation (SVV 2005), 31 Oct 2005, Manchester. pp. 39-59. Electronic Notes in Theoretical Computer Science 157. Elsevier. ISSN 1571-0661

2003

Corin, R.J. and Durante, A. and Etalle, S. and Hartel, P.H. (2003) A Trace Logic for Local Security Properties. In: Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), December 14 2003, Mumbai, India. pp. 129-143. Electronic Notes in Theoretical Computer Science 118. Elsevier. ISSN 1571-0661
Gnesi, S. and Lenzini, G. and Martinelli, F. (2003) Logical Specification and Analysis of Fault Tolerant Systems through Partial Model Checking. In: Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), December 14 2003, Mumbai, India. pp. 57-70. Electronic Notes in Theoretical Computer Science 118. Elsevier. ISSN 1571-0661

This list was generated on Fri Apr 28 03:08:05 CEST 2017.