Tools and algorithms for the construction and analysis of systems

Name: Tools and algorithms for the construction and analysis of systems
Author: TACAS 2010 (2010 Paphos, Cyprus)

by TACAS 2010 (2010 Paphos, Cyprus)

Cover of Tools and algorithms for the construction and analysis of systems

No description available.

DevelopmentModel CheckingCongressesSystem designSystem analysisSoftwareentwicklungComputer softwareTheoretische InformatikSystementwicklungProgrammanalyseLogic designComputer networks