Proceedings of the 10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems and 1st International Workshop on Web Intelligence
Latest Publications
TOTAL DOCUMENTS
10
(FIVE YEARS 0)
H-INDEX
1
(FIVE YEARS 0)
Published By Scitepress - Science And And Technology Publications
9789898565143
A Compositional Scheme and Framework for Safety Critical Systems Verification
Keyword(s):
Keyword(s):