共 18 条
- [12] A Modular Synthesis Approach for Intelligent Manufacturing System Design a Petri net based Transformation Method 2015 SIGNAL PROCESSING AND INTELLIGENT SYSTEMS CONFERENCE (SPIS), 2015, : 128 - 132
- [14] Design of Highly Reliable Fingerprint Access Control System Based on C8051F020 Single Chip 2010 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND AUTOMATION ENGINEERING (ICCAE 2010), VOL 3, 2010, : 271 - 274
- [15] Formal Reliability Analysis of a Typical FHIR Standard based E-Health System using PRISM 2014 IEEE 16TH INTERNATIONAL CONFERENCE ON E-HEALTH NETWORKING, APPLICATIONS AND SERVICES (HEALTHCOM), 2014, : 43 - 48
- [16] Formal Reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM 2015 17TH INTERNATIONAL CONFERENCE ON E-HEALTH NETWORKING, APPLICATION & SERVICES (HEALTHCOM), 2015, : 108 - 113