首页> 外文OA文献 >Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin

【2h】

Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin

机译：都柏林大学三一学院的工业关键系统的形式化方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Butterfield Andrew;
展开▼
作者单位

展开▼
年度 2003
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Spiritual Vulnerability, Spiritual Risk and Spiritual Safety—In Answer to a Question: ‘Why Is Spirituality Important within Health and Social Care?’ at the ‘Second International Spirituality in Healthcare Conference 2016—Nurturing the Spirit.’ Trinity College Dublin, The University of Dublin [J] . Paul Michael Keenan Religions . 2017,第3期

机译：精神脆弱性，精神风险和精神安全性—在“ 2016年第二届国际医疗卫生精神会议—培育精神”中回答一个问题：“精神在健康和社会护理中为什么如此重要？”，都灵大学都柏林
2. Special Issue on the First International workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996-Selected Papers [J] . STEFANIA GNESI, DIEGO LATELLA Formal Methods in System Design . 1998,第2期

机译：ERCIM工业关键系统形式方法工作组第一次国际研讨会的特刊，1996年3月19日，牛津，圣休学院，论文选集
3. Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems [J] . Ana Cavalcanti, Laure Petrucci, Cristina Seceleanu ERCIM News . 2018,第ERCIMaNEWSa112期

机译：第22届工业关键系统形式方法国际研讨会和第17届关键系统自动验证国际研讨会
4. ENHANCING THE FIRST YEAR LEARNING EXPERIENCE FOR BIOSYSTEMS ENGINEERING STUDENTS AT UNIVERSITY COLLEGE DUBLIN [C] . Thomas Corran, Colleen Doyle, Enda Cummins, American Society For Engineering Education Annual Conference and Exposition . 2010

机译：加强在都柏林大学学院生物系统工程学生的第一年学习经验
5. Model-Based Usability Analysis of Safety-Critical Systems: A Formal Methods Framework. [D] . Abbate, Andrew J. 2017

机译：安全关键系统的基于模型的可用性分析：正式方法框架。
6. Assessing Problem Based Learning in Child and Adolescent Psychiatry at the Trinity College Dublin Ireland [O] . Norbert Skokauskas, Louise Gallagher, Thomas Frodl, 2012

机译：在爱尔兰都柏林三一学院评估儿童和青少年精神病学中基于问题的学习
7. Tyrrell and Purser's Letters of Cicero - The Correspondence of M. Tullius Cicero, with. a Revision of the Text, a Commentary, and Introductory Essays, by R. Y. Tyhrell, M.A., Regius Professor of Greek, Trinity College, Dublin, and L. O. Purser, M.A., Fellow of Trinity College, Dublin. Vol. III. Dublin: University Press Series. 1890. 12s. [O] . G. E. Jeans 1891

机译：Tyrrell和Puremer的Cicero信件 - C.Tullius西塞罗的对应者，与。修订文本，评论和介绍论文，由R. Y.Tyhrell，M.a.，Regius of希腊，Trinity College，Dublin和L. O.Puxer，M.A.，Trinity College，都柏林学士。卷。 III。都柏林：大学新闻系列。 1890。12S。

Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin

著录项

引文网络

相似文献

相关主题

期刊订阅