|
Booksee.org
Model Checking of Software, 9 confDragan Bosnacki, Stefan LeueThis book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002. The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#3
Новые правила оказания туристических услугА. В. Сутягин, И. А. ФеоктистовКатегория: Нормативная литература
1.42 Mb
#5
Теория устойчивого обнаружения, различения и оценивания сигналовБогданович В. А., Вострецов А. Г.
4.71 Mb
#6
Звезды скатерти самобранки. Подарочное издание к Новому годуглавный редактор Шабанова В.ВКатегория: Cooking
31.75 Mb
#8
Проектирование и монтаж вентиляционных и пневмотранспортных установок на предприятиях агропромышленного комплекса. Учебное пособиеУрханов Н.А., Цыдендоржиев Б.Д., Бужгеев А.С.
4.82 Mb
|
|