Introduction to "Rigorous Engineering of Autonomic Ensembles" - Track Introduction

被引：0

作者：

Wirsing, Martin ^{[1
]}

De Nicola, Rocco ^{[2
]}

Holzl, Matthias ^{[1
]}

机构：

[1] Univ Munich, Marchioninistr 15, D-81377 Munich, Germany

[2] IMT Inst Adv Studies Lucca, Lucca, Italy

来源：

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TECHNOLOGIES FOR MASTERING CHANGE, PT I | 2014年 / 8802卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：96 / 98

页数：3

共 6 条

[1] Bensalem S, 2014, LECT NOTES COMPUT SC, V8802, P184, DOI 10.1007/978-3-662-45234-9_13
[2] Bures T, 2014, LECT NOTES COMPUT SC, V8802, P131, DOI 10.1007/978-3-662-45234-9_10
[3] Cabri G, 2014, LECT NOTES COMPUT SC, V8802, P147, DOI 10.1007/978-3-662-45234-9_11
[4] Klarl A, 2014, LECT NOTES COMPUT SC, V8802, P99, DOI 10.1007/978-3-662-45234-9_8
[5] Loreti M, 2014, LECT NOTES COMPUT SC, V8802, P164, DOI 10.1007/978-3-662-45234-9_12
[6] Vassev E, 2014, LECT NOTES COMPUT SC, V8802, P117, DOI 10.1007/978-3-662-45234-9_9