Dependable Embedded Systems and Formal Methods for Industrial Critical Systems

被引：0

作者：

Schoitsch, Erwin ^{[1
]}

机构：

[1] AARIT, ERCIM Working Grp Coordinator ARCS, Salzburg, Austria

来源：

ERCIM NEWS | 2009年 / 78期

关键词：

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

引用

页码：9 / 9

页数：1

共 50 条

[31] Formal methods for analysis of heterogeneous models of embedded systems
Nadjm-Tehrani, S
[J]. PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, 2000, : 141 - 146
[32] Formal Methods in Designing Embedded Systems—the SACRES Experience
Klaus Winkelmann
[J]. Formal Methods in System Design, 2001, 19 : 81 - 110
[33] Dependable embedded systems research at TU ViennaForschungsaktivitäten zu Dependable Embedded Systems an der TU Wien
H. Kopetz
R. Obermaisser
U. Schmid
[J]. e & i Elektrotechnik und Informationstechnik, 2005, 122 (1-2) : 33 - 37
[34] Formal Methods for Industrial Critical Systems: ERCIM's oldest active Working Group
Fantechi, Alessandro
[J]. ERCIM NEWS, 2009, (77): : 11 - 12
[35] 12th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
Leue, Stefan
Merino, Pedro
[J]. ERCIM NEWS, 2008, (72): : 12 - 12
[36] Dependable polygon-processing algorithms for safety-critical embedded systems
Brandt, J
Schneider, K
[J]. EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005, 2005, 3824 : 405 - 417
[37] FMICS'23 - 28th International Conference on Formal Methods for Industrial Critical Systems
ter Beek, Maurice
[J]. ERCIM NEWS, 2023, (135): : 6 - 6
[38] Dependable communication synthesis for distributed embedded systems
Kandasamy, N
Hayes, JP
Murray, BT
[J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2003, 2788 : 275 - 288
[39] Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)
Cofer, Darren
Fantechi, Alessandro
Leue, Stefan
Merino, Pedro
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2011, 76 (02) : 63 - 64
[40] FMISC 2007 - 12th International Workshop on Formal Methods for Industrial Critical Systems
不详
[J]. ERCIM NEWS, 2007, (69): : 64 - 65

← 1 2 3 4 5 →