Biosensors; ECG; Formal Language; Wearable Health Monitoring Systems; vital signs;
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:可穿戴式健康监控系统的体系结构和通信技术综述
机译:多传感器可穿戴健康监测系统的正式语言方法
机译:并发系统和语言的静态和动态形式分析:一种基于语义的方法。
机译:可穿戴式健康监控系统的体系结构和通信技术综述
机译:基于特征的多传感器识别系统设计的正式方法
机译:系统工程:形式化方法。第5部分。规范语言