首页> 外文OA文献 >The embedded software of an electricity meter: An experience in using Formal Methods in an industrial project

【2h】

The embedded software of an electricity meter: An experience in using Formal Methods in an industrial project

机译：电表的嵌入式软件：在工业项目中使用形式化方法的经验

页面导航

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

著录项

作者
André Arnold; Didier Bégay; Jean-pierre Radoux;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. 7 Ways to Make Embedded Software Safe and Secure with Static Analysis and Formal Methods [J] . Elektor electronics worldwide . 2018,第4appa期

机译：通过静态分析和形式化方法确保嵌入式软件安全的7种方法
2. Formal methods for safety-critical embedded software -flight warning computer case study [J] . Patrick Courty, Ian Hodgson Electronic engineering . 2002,第904期

机译：安全关键型嵌入式软件的正式方法-飞行预警计算机案例研究
3. Formal Methods in Designing Embedded Systems-the SACRES Experience [J] . KLAUS WINKELMANN Formal Methods in System Design . 2001,第1期

机译：设计嵌入式系统的正式方法-SACRES经验
4. The Embedded Software of an Electricity Meter: An Experience in Using Forma! Methods in an Industrial Project [C] . Andre Arnold, Didier Begay, Jean-Pierre Radoux International Conference on Algebraic Methodology and Software Technology . 1996

机译：电表嵌入式软件：使用Forma的经验！工业项目中的方法
5. Examining agile management methods and non-agile management methods in global software development projects [D] . Ilincic, Rajko 2008

机译：在全球软件开发项目中检查敏捷管理方法和非敏捷管理方法
6. Embedding resilience in the design of the electricity supply for industrial clients [O] . Márcio das Chagas Moura, Helder Henrique Lima Diniz, Enrique López Droguett, 2011

机译：在工业客户的电源设计中嵌入弹性
7. The embedded software of an electricity meter: An experience in using formal methods in an industrial project [O] . Arnold André, Bégay Didier, Radoux Jean-Pierre 1997

机译：电表的嵌入式软件：在工业项目中使用正式方法的经验

The embedded software of an electricity meter: An experience in using Formal Methods in an industrial project

著录项

引文网络

相似文献

相关主题

期刊订阅