Вы здесь

Buy U.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Automated Testing of Classes 2000 Buy U., Orso A., Pezze M. Software Engineering Notes 14.12.2000
СТ Reduction Rules for Time Petri Nets 1996 Sloan R. H., Buy U. Acta Informatica 23.11.1996
СТ A Specification-Based Approach to Concurrency Analysis 1995 Buy U., Moll R. Automated Software Engineering 10.04.1996
СТ Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking 1993 Duri S., Buy U., Devarapalli R., Shatz S. M. Software Engineering Notes 29.09.1993