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 条

[41] The 1st IEEE international workshop on Component-based design of Resource Constrained Systems (CORCS 2008): Foreword
Proc Int Comput Software Appl Conf, 2008, (1295):
[42] Proceedings of the 8th International Conference on Vehicle Technology and Intelligent Transport Systems
Ploeg, Jeroen
Helfert, Markus
Berns, Karsten
Gusikhin, Oleg
International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS - Proceedings, 2022,
[43] Proceedings of the 8th International Conference on Electronic Processes in Organic and Inorganic Materials (ICEPOM-8) Foreword
Kukhtin, V.
Verbitsky, A.
Vertsimakha, Ya
MOLECULAR CRYSTALS AND LIQUID CRYSTALS, 2011, 535 (01)
[44] Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems Vienna, Austria, July 18, 2014 Preface
ter Beek, Maurice
Ravara, Antonio
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (163):
[45] WISES 2010 - 2010 8th IEEE Workshop on Intelligent Solutions in Embedded Systems: Foreword
Grammatikakis, Miltos
Kornaros, George
Papadakis, Nikos
WISES 2010 - 2010 8th IEEE Workshop on Intelligent Solutions in Embedded Systems, 2010,
[46] Special section of selected papers from the 8th Karuizawa Workshop on Circuits and Systems - Foreword
Tanimoto, H
Yamada, H
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1996, E79A (03) : 273 - 274
[47] Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2009) Preface
Salaun, Gwen
Sirjani, Marjan
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 255 : 1 - 2
[48] Specification and verification of multi-agent systems with a property-preserving component-based methodology
Huang, HJ
Wang, X
Chen, QC
Wang, XL
PROCEEDINGS OF 2005 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-9, 2005, : 90 - 95
[49] Proceedings of the 8th International Conference on Geographical Information Systems Theory, Applications and Management
Grueau, Cédric
Ragia, Lemonia
International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM - Proceedings, 2022,
[50] Special Issue - Proceedings of the 8th International Workshop on Meson Production, Properties and Interaction (MESON 2004) - Krakow, Poland, 4-8 June 2004 - Foreword
Guaraldo, C
Machner, H
Magiera, A
INTERNATIONAL JOURNAL OF MODERN PHYSICS A, 2005, 20 (2-3): : VII - VII

← 1 2 3 4 5 →