Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, in Conjunction with ICEIS 2010

被引：0

作者：

机构：

来源：

Proc. Int. Workshop Model., Simul., Verif. Validation Enterp. Inf. Syst., MSVVEIS, Conjunction ICEIS |

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[31] SAVCBS'09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems: Foreword
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,
[32] Proceedings of the 1st International Workshop on Human Resource Information Systems, HRIS 2007, In Conjunction with ICEIS 2007: Foreword
Proc. Int. Workshop Hum. Resour. Inf. Syst., HRIS, In Conjunction ICEIS, 2007, (iii-v):
[33] Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Proceedings
Lect. Notes Comput. Sci.,
[34] Proceedings of the 8th IEEE International NEWCAS Conference, NEWCAS2010: Welcome
Sawan, Mohamad
Proceedings of the 8th IEEE International NEWCAS Conference, NEWCAS2010, 2010,
[35] 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems, SEUS 2010
Lect. Notes Comput. Sci., (1-251):
[36] Editorial: The First International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003)
Augusto, JC
Roper, M
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2003, 13 (04): : 205 - 206
[37] DIS 2010 - Proceedings of the 8th ACM Conference on Designing Interactive Systems: Foreword
Halskov, Kim
Petersen, Marianne Graves
DIS 2010 - Proceedings of the 8th ACM Conference on Designing Interactive Systems, 2010,
[38] Proceedings of the 8th International Symposium on Tools and Methods of Competitive Engineering, TMCE 2010: Foreword
Horváth, Imre
Mandorli, Ferruccio
Rusák, Zoltán
Proceedings of the 8th International Symposium on Tools and Methods of Competitive Engineering, TMCE 2010, 2010, 2
[39] 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):
[40] Proceedings of the 9th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2010 - Joint with the 2nd International Workshop on High Performance Computational Systems Biology, HiBi 2010: Preface
Ballarini, Paolo
Barnat, Jiří
Weber, Michael
Proceedings of the 9th Int. Workshop on Parallel and Distributed Methods in Verification, PDMC 2010 - Joint with the 2nd Int. Workshop on High Performance Computational Systems Biology, HiBi 2010, 2010,

← 1 2 3 4 5 →