Open AccessFirst International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007) - Index
Author(s) -
Kamel Barkaoui,
Malika Ioualalen
Publication year - 2007
Publication title -
electronic workshops in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 1477-9358
DOI - 10.14236/ewic/vecos2007.0
Subject(s) - computer science , rotation formalisms in three dimensions , dependability , petri net , process (computing) , software engineering , engineering management , engineering , programming language , geometry , mathematics