The main target of the Special Session DTVCS is to bring together engineering researchers, computer scientists, practitioners and people from industry to exchange theories, ideas, techniques and experiences related to the areas of design, testing and formal verification techniques.
Official Website: http://digilander.libero.it/systemcfl/dtvcs
Added by mBLAST on August 16, 2008