掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International symposium on leveraging applications of formal method, verification and validation
International symposium on leveraging applications of formal method, verification and validation
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A Formalism for Stochastic Adaptive Systems
机译:
随机自适应系统的形式主义
作者:
Benoit Boyer
;
Axel Legay
;
Louis-Marie Traonouez
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
2.
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models
机译:
实时随机模型统计模型检查陷阱的综述
作者:
Dimitri Bohlender
;
Harold Bruintjes
;
Sebastian Junges
;
Jens Katelaan
;
Viet Yen Nguyen
;
Thomas Noll
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
3.
Simple Management of High Assurance Data in Long-Lived Interdisciplinary Healthcare Research: A Proposal
机译:
一项长期跨学科医疗保健研究中的高保证数据的简单管理:一项建议
作者:
Tiziana Margaria
;
Barry D. Floyd
;
Rodolfo Gonzalez Camargo
;
Anna-Lena Lamprecht
;
Johannes Neubauer
;
Marilia Seelaender
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
4.
Domain-Specific Business Modeling with the Business Model Developer
机译:
与业务模型开发人员进行特定领域的业务建模
作者:
Steve Bosselmann
;
Tiziana Margaria
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
关键词:
business model;
personalized medicine;
model-driven software development;
simplicity;
5.
Formal Analysis of the Wnt/β-catenin Pathway through Statistical Model Checking
机译:
通过统计模型检查对Wnt /β-catenin途径进行形式化分析
作者:
Paolo Ballarini
;
Emmanuelle Gallet
;
Pascale Le Gall
;
Matthieu Manceny
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
关键词:
HASL Model Checking;
Stochastic modelling;
biological pathways;
Wnt/β-catenin;
6.
Battery-Aware Scheduling of Mixed Criticality Systems
机译:
混合临界系统的电池感知调度
作者:
Erik Ramsgaard Wognsen
;
Rene Rydhof Hansen
;
Kim Guldstrand Larsen
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
7.
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction
机译:
复杂系统形式开发中的语义异质性:简介
作者:
J. Paul Gibson
;
Idir Ait-Sadoune
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
8.
Introduction to Track on Engineering Virtualized Services
机译:
工程虚拟化服务跟踪简介
作者:
Reiner Haehnle
;
Einar Broch Johnsen
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
9.
Statistical Model Checking Past, Present, and Future (Track Introduction)
机译:
统计模型检查过去,现在和将来(跟踪介绍)
作者:
Kim G. Larsen
;
Axel Legay
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
10.
Model Checking Hybrid Systems (Invited Talk)
机译:
模型检查混合系统(特邀演讲)
作者:
Edmund M. Clarke
;
Sicun Gao
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
11.
Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling
机译:
具有协同调度的并发对象的Erlang样式错误恢复
作者:
Georg Goeri
;
Einar Broch Johnsen
;
Rudolf Schlatte
;
Volker Stolz
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
12.
Using Statistical Model Checking for Measuring Systems
机译:
使用统计模型检查测量系统
作者:
Radu Grosu
;
Doron Peled
;
C.R. Ramakrishnan
;
Scott A. Smolka
;
Scott D. Stoller
;
Junxing Yang
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
13.
Challenges for the Dynamic Interconnection of Medical Devices
机译:
医疗器械动态互连面临的挑战
作者:
Martin Leucker
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
14.
Feedback-Based Recognition of Human Identities Using Color and Depth Data
机译:
使用颜色和深度数据的基于反馈的人类身份识别
作者:
Frederik Gossen
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
15.
Blocking Advertisements on Android Devices Using Monitoring Techniques
机译:
使用监控技术在Android设备上阻止广告
作者:
Khalil El-Harake
;
Ylies Falcone
;
Wassim Jerad
;
Mattieu Langet
;
Mariem Mamlouk
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
16.
Real Time Standardization Process Management
机译:
实时标准化流程管理
作者:
Axel Hessenkaemper
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
17.
Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients
机译:
基于时间逻辑的重症监护患者辅助通气监测
作者:
Sara Bufo
;
Ezio Bartocci
;
Guido Sanguinetti
;
Massimo Borelli
;
Umberto Lucangelo
;
Luca Bortolussi
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
18.
Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach
机译:
使用基于事件的方法对不断发展的分布式控制系统进行建模和验证
作者:
Christian Attiogbe
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
关键词:
Heterogenous components;
Modelling;
Event-B;
Property verification;
19.
Track Introduction: Scientific Workflows
机译:
追踪介绍:科学的工作流程
作者:
Joost N. Kok
;
Anna-Lena Lamprecht
;
Kenneth J. Turner
;
Katy Wolstencroft
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
20.
Meta-analysis of Disjoint Sets of Attributes in Large Cohort Studies
机译:
大型队列研究中不相交属性集的荟萃分析
作者:
Jonathan K. Vis
;
Joost N. Kok
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
关键词:
meta-analysis;
machine learning;
data mining;
classification;
feature selection;
cohort studies;
21.
Requirements Driven Data Warehouse Design: We Can Go Further
机译:
需求驱动的数据仓库设计:我们可以走得更远
作者:
Selma Khouri
;
Ladjel Bellatreche
;
Stephane Jean
;
Yamine Ait-Ameur
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
关键词:
Data warehouse;
semantic heterogeneity;
formalism heterogeneity;
integration;
ontology-based design;
22.
Monitoring with Data Automata
机译:
使用数据自动机进行监视
作者:
Klaus Havelund
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
23.
Towards a Flexible Assessment of Climate Impacts: The Example of Agile Workflows for the ci:grasp Platform
机译:
进行灵活的气候影响评估:ci:grasp平台的敏捷工作流示例
作者:
Samih Al-Areqi
;
Steffen Kriewald
;
Anna-Lena Lamprecht
;
Dominik Reusser
;
Markus Wrobel
;
Tiziana Margaria
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
关键词:
scientific workflows;
agile methods;
model-driven development;
climate information;
climate impact risk assessment;
24.
A Visual Programming Approach to Beat-Driven Humanoid Robot Dancing
机译:
节拍驱动人形机器人跳舞的可视化编程方法
作者:
Vid Podpecan
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
关键词:
robot;
NAO;
dance;
workflow;
beat.;
25.
Risk-Based Testing (Track Introduction)
机译:
基于风险的测试(跟踪介绍)
作者:
Michael Felderer
;
Marc-Florian Wendland
;
Ina Schieferdecker
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
26.
Fault Model Design Space for Cooperative Concurrency
机译:
协同并发的故障模型设计空间
作者:
Ivan Lanese
;
Michael Lienhardt
;
Mario Bravetti
;
Einar Broch Johnsen
;
Rudolf Schlatte
;
Volker Stolz
;
Gianluigi Zavattaro
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
27.
Programming with Actors in Java 8
机译:
用Java 8中的Actor编程
作者:
Behrooz Nobakht
;
Frank S. de Boer
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
关键词:
Actor model;
Concurrency;
Asynchronous Message;
Java;
Lambda Expression;
28.
jABCstats: An Extensible Process Library for the Empirical Analysis of jABC Workflows
机译:
jABCstats:一个可扩展的过程库,用于对jABC工作流进行实证分析
作者:
Alexander Wickert
;
Anna-Lena Lamprecht
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
关键词:
jABCstats;
scientific workflows;
model-driven development;
jABC;
service usage;
workflow motifs;
workflow patterns;
29.
Automatic Annotation of Bioinformatics Workflows with Biomedical Ontologies
机译:
具有生物医学本体的生物信息学工作流程的自动注释
作者:
Beatriz Garcia-Jimenez
;
Mark D. Wilkinson
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
关键词:
scientific workflows;
web services;
bioinformatics;
semantic annotation;
text mining;
ontologies;
tags;
term extraction;
30.
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems Version to Read
机译:
内隐和外显语义:基于证明的系统版本阅读中的集成问题
作者:
Yamine Ait-Ameur
;
J. Paul Gibson
;
Dominique Mery
会议名称:
《》
|
2014年
关键词:
Verification;
modelling;
Contexts;
Domains;
31.
The Technological and Interdisciplinary Evolution in Machine and Plant Engineering - Industry 4.0
机译:
机械和工厂工程中的技术和跨学科演进-工业4.0
作者:
Axel Hessenkaemper
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
32.
Evaluation and Reproducibility of Program Analysis (Track Introduction)
机译:
程序分析的评估和可重复性(跟踪介绍)
作者:
Markus Schordan
;
Welf Loewe
;
Dirk Beyer
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
33.
A Technique for Risk-Based Test Procedure Identification, Prioritization and Selection
机译:
基于风险的测试程序识别,优先级选择的技术
作者:
Fredrik Seehusen
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
关键词:
Risk assessment;
testing;
security;
risk-based testing;
34.
A Risk Assessment Framework for Software Testing
机译:
软件测试的风险评估框架
作者:
Michael Felderer
;
Christian Haisjackl
;
Viktor Pekar
;
Ruth Breu
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
关键词:
Risk Assessment;
Risk Identification;
Risk Analysis;
Risk Evaluation;
Risk-Based Testing;
Risk Management;
Software Testing;
35.
SWEET - A Tool for WCET Flow Analysis (Extended Abstract)
机译:
SWEET-WCET流量分析工具(扩展摘要)
作者:
Bjoern Lisper
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
36.
Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities Ⅱ (Extended Abstract)
机译:
测试C语言漏洞Ⅱ的测试驱动静态分析工具(扩展摘要)
作者:
George Chatzieleftheriou
;
Apostolos Chatzopoulos
;
Panagiotis Katsaros
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
关键词:
static analysis;
software security;
benchmark tests;
37.
Construction of Abstract Domains for Heterogeneous Properties (Position Paper)
机译:
异构属性抽象域的构造(位置论文)
作者:
Xavier Rival
;
Antoine Toubhans
;
Bor-Yuh Evan Chang
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
38.
Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations
机译:
有限状态空间计算中具有恒定环界的多面体优化的验证
作者:
Markus Schordan
;
Pei-Hung Lin
;
Dan Quinlan
;
Louis-Noeel Pouchet
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
39.
The Guided System Development Framework: Modeling and Verifying Communication Systems
机译:
指导性系统开发框架:通信系统的建模和验证
作者:
Jose Quaresma
;
Christian W. Probst
;
Flemming Nielson
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
40.
Introduction
机译:
介绍
作者:
Tiziana Margaria
;
Bernhard Steffen
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
41.
Processes and Data Integration in the Networked Healthcare (Track Introduction)
机译:
网络医疗保健中的流程和数据集成(跟踪介绍)
作者:
Tiziana Margaria
;
Christoph Rasche
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
42.
An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking
机译:
统计模型检查中自适应重要性分裂的有效启发式方法
作者:
Cyrille Jegourel
;
Axel Legay
;
Sean Sedwards
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
43.
Integrated Code Motion and Register Allocation
机译:
集成代码移动和寄存器分配
作者:
Gergoe Barany
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
44.
On the Algebraic Specification and Verification of Parallel Systems
机译:
并行系统的代数规范与验证
作者:
Nikolaos Triantafyllou
;
Katerina Ksystra
;
Petros Stefaneas
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
45.
Data Driven Testing of Open Source Software
机译:
开源软件的数据驱动测试
作者:
Inbal Yahav
;
Ron S. Kenett
;
Xiaoying Bai
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
46.
Combining Risk Analysis and Security Testing
机译:
结合风险分析和安全测试
作者:
Juergen Grossmann
;
Martin Schneider
;
Johannes Viehmann
;
Marc-Florian Wendland
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
关键词:
Risk assessment;
security testing;
test pattern;
47.
Contracts in CML
机译:
CML中的合同
作者:
Jim Woodcock
;
Ana Cavalcanti
;
John Fitzgerald
;
Simon Foster
;
Peter Gorm Larsen
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
48.
Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions
机译:
分布式能源管理案例研究:一种分析效用函数的正式方法
作者:
Aida Causevic
;
Cristina Seceleanu
;
Paul Pettersson
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
49.
Property-Specific Benchmark Generation
机译:
特定属性基准生成
作者:
Maren Geske
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
50.
Steering Active Automata Learning with Model-Driven Development
机译:
通过模型驱动的开发指导主动自动机学习
作者:
Oliver Bauer
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
51.
Risk-Based Vulnerability Testing Using Security Test Patterns
机译:
使用安全测试模式的基于风险的漏洞测试
作者:
Julien Botella
;
Bruno Legeard
;
Fabien Peureux
;
Alexandre Vernotte
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
关键词:
Risk-Based Testing;
Security test pattern;
Model-Based Testing;
Web application vulnerability;
CORAS;
SQL Injection;
52.
Medical Cyber-Physical Systems (Track Introduction)
机译:
医学网络物理系统(跟踪介绍)
作者:
Ezio Bartocci
;
Sicun Gao
;
Scott A. Smolka
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
53.
Towards the Typing of Resource Deployment
机译:
走向资源部署的类型
作者:
Elena Giachino
;
Cosimo Laneve
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
54.
Static Inference of Transmission Data Sizes in Distributed Systems
机译:
分布式系统中传输数据大小的静态推断
作者:
Elvira Albert
;
Jesus Correas
;
Enrique Martin-Martin
;
Guillermo Roman-Diez
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
55.
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices
机译:
医学网络物理系统的组成,近似和定量推理及其在患者特定的心脏动力学和设备中的应用
作者:
Radu Grosu
;
Elizabeth Cherry
;
Edmund M. Clarke
;
Rance Cleaveland
;
Sanjay Dixit
;
Flavio H. Fenton
;
Sicun Gao
;
James Glimm
;
Richard A. Gray
;
Rahul Mangharam
;
Arnab Ray
;
Scott A. Smolka
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
56.
On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers
机译:
心脏起搏器的定量软件质量保证方法论
作者:
Marta Kwiatkowska
;
Alexandru Mereacre
;
Nicola Paoletti
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
关键词:
model-based design;
quantitative verification;
hybrid automata;
heart modelling;
cardiac pacemakers;
57.
Generation of Domain-Specific Graphical Development Tools Targeting Heterogeneous Platforms
机译:
针对异构平台的领域特定图形开发工具的生成
作者:
Michael Lybecait
;
Dawid Kopetzki
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
58.
Living Canvas
机译:
活画布
作者:
Barbara Steffen
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
59.
Dr. Watson? Balancing Automation and Human Expertise in Healthcare Delivery
机译:
沃森博士?平衡医疗保健交付中的自动化和人类专业知识
作者:
Mark Gaynor
;
George Wyner
;
Amar Gupta
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
关键词:
Clinical Support System;
Computer Enhanced Medicine;
Tele-health;
60.
Fully Abstract Operation Contracts
机译:
完全抽象的运营合同
作者:
Richard Bubel
;
Reiner Haehnle
;
Maria Pelevina
会议名称:
《International symposium on leveraging applications of formal method, verification and validation》
|
2014年
意见反馈
回到顶部
回到首页