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] Institution of Mechanical Engineers - 8th International Conference on Compressors and Their Systems: Foreword
School of Engineering and Mathematical Sciences, City University London, United Kingdom
Inst. Mech. Eng. - Int. Conf. Compressors Their Syst., 2013, (01):
[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 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):
[44] 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)
[45] 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
[46] 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,
[47] 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
[48] 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
[49] QUASOSS'09 - Proceedings of the 1st International Workshop on Quality of Service-Oriented Software Systems: Foreword
QUASOSS - Proc. Int. Workshop Qual. Serv.-Oriented Softw. Syst., 2009, (iii):
[50] 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,

← 1 2 3 4 5 →