Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Brim L. (ed.), Haverkort B. (ed.), Leucker M. (ed.) — Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems
Brim L. (ed.), Haverkort B. (ed.), Leucker M. (ed.) — Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial  Critical Systems



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems

Авторы: Brim L. (ed.), Haverkort B. (ed.), Leucker M. (ed.)

Аннотация:

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006 (see also LNCS volume 4137). The 16 revised full papers and 2 revised tool papers, selected out of 47 submissions for FMICS 2006 are accompanied by 4 revised full papers of PDMC 2006, selected from 9 submissions and are presented together with an invited talk for each workshop. The FMICS papers cover formal methodologies for handling large state spaces, model based testing, formal description and analysis techniques as well as a range of applications and case studies; the papers of PDMC address topics such as parallel and distributed methods in model checking, system issues for parallel and distributed verification, and dedicated applications.


Язык: en

Рубрика: Computer science/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 2007

Количество страниц: 363

Добавлена в каталог: 16.02.2014

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте