SAVCBS'09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems: Foreword

被引：0

作者：

Huisman, Marieke

Aldrich, Jonathan

Barnett, Mike

Giannakopoulou, Dimitra

Leavens, Gary T.

Sharygina, Natasha

机构：

来源：

SAVCBS'09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems | 2009年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[1] Specification and Verification of Component-based Systems (SAVCBS)
Sharygina, Natasha
IET SOFTWARE, 2008, 2 (06) : 475 - 476
[2] GPCE'09 - Proceedings of the 8th International ACM SIGPLAN Conference on Generative Programming and Component Engineering: Foreword
Siek, Jeremy
Fischer, Bernd
GPCE'09 - Proceedings of the 8th International ACM SIGPLAN Conference on Generative Programming and Component Engineering, 2009,
[3] Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems Stockholm, Sweden, 16th July 2012 Preface
Silva, Josep
Tiezzi, Francesco
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (98):
[4] Proceedings of the 8th international workshop on Runtime and Operating Systems for supercomputers
Iskra, Kamil
Hoefler, Torsten
Proceedings of the 8th International Workshop on Runtime and Operating Systems for Supercomputers, ROSS 2018 - In conjunction with HPDC 2018, 2018,
[5] Foreword: Welcome to the 8th international workshop on multidimensional (nd) systems!
Rabenstein, Rudolf
Galkowski, Krzysztof
Rogers, Eric
nDS 2013 - Proceedings of the 8th International Workshop on Multidimensional Systems, 2013,
[6] Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, in Conjunction with ICEIS 2010: Foreword
Capel-Tuñón, Manuel I.
Sopeña, Juan Garbajosa
Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, in Conjunction with ICEIS 2010, 2010,
[7] Component-based specification, design and verification of adaptive systems
Graics, Bence
Molnar, Vince
Majzik, Istvan
SYSTEMS ENGINEERING, 2023, 26 (05) : 567 - 589
[8] Proceedings of the 8th Taisho International Symposium on Gastroenterology - Foreword
Kitajima, M
ALIMENTARY PHARMACOLOGY & THERAPEUTICS, 2000, 14 : 1 - 1
[9] ASAS'11 - Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems: Foreword
Cámara, Javier
Lopes, Antónia
De Lemos, Rogério
Ghezzi, Carlo
ASAS'11 - Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, 2011,
[10] ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings: Foreword
Aristotle University of Thessaloniki, Greece
不详
不详
ICEIS - Int. Conf. Enterp. Inf. Syst., Proc., 2006, (XV-XVI):

← 1 2 3 4 5 →