Author of the publication

Active-RFID System Accuracy and Its Implications for Clinical Applications.

, and . CBMS, page 21-26. IEEE Computer Society, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Clarke, Duncan
add a person with the name Clarke, Duncan
 

Other publications of authors with the same name

A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems., , , , , and . Real-Time Systems, 15 (3): 189-219 (1998)XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems., , , , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 402-405. Springer, (1996)Schedulability analysis of AADL models., , and . IPDPS, IEEE, (2006)Automated Test and Oracle Generation for Smart-Card Applications., , , and . E-smart, volume 2140 of Lecture Notes in Computer Science, page 58-70. Springer, (2001)Testing-Based Analysis of Real-Time System Models., and . ITC, page 894-903. IEEE Computer Society, (1996)STG: A Symbolic Test Generation Tool., , , and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 470-475. Springer, (2002)Model Completion via Deformation Cloning Based on an Explicit Global Deformation Model., , , , and . MICCAI (1), volume 5762 of Lecture Notes in Computer Science, page 1067-1074. Springer, (2009)STG: a tool for generating symbolic test programs and oracles from operational specifications., , , and . ESEC / SIGSOFT FSE, page 301-302. ACM, (2001)Testing Real-Time Constraints in a Process Algebraic Setting., and . ICSE, page 51-60. ACM, (1995)Implementation and analysis of scalable display architecture for laparoscopy., , , , , and . CBMS, page 1-8. IEEE Computer Society, (2009)