Вы здесь

Chan W.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications 2000 Anderson R. J., Beame P., Chan W., Notkin D. Lecture Notes in Computer Science 18.02.2000
СТ Improving Efficiency of Symbolic Model Checking for State-Based System Requirements 1998 Chan W., Anderson R. J., Beame P., Notkin D. Software Engineering Notes 30.07.1998