Вы здесь

Corbett J. C.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Language Framework for Expressing Checkable Properties of Dynamic Software 2000 Corbett J. C., Dwyer M. B., Hatcliff J., Robby. Lecture Notes in Computer Science 26.09.2000
СТ Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs 2000 Corbett J. C. ACM Trans. on Software Engineering and Methodology 10.07.2000
СТ Constructing Compact Models of Concurrent Java Programs 1998 Corbett J. C. Software Engineering Notes 30.07.1998
СТ Timing Analysis of Ada Tasking Programs 1996 Corbett J. C. IEEE Trans. on Software Engineering 14.11.1996
СТ A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems 1993 Corbett J. C., Avrunin G. S. Software Engineering Notes 29.09.1993
СТ Verifying General Safely and Liveness Properties with Integer Programming 1993 Corbett J. C. Lecture Notes in Computer Science 07.05.1993