libcats.org
Главная

Formal Methods for the Design of Real-Time Systems, SFM-RT 2004

Обложка книги Formal Methods for the Design of Real-Time Systems, SFM-RT 2004

Formal Methods for the Design of Real-Time Systems, SFM-RT 2004

,

This book presents the revised versions of nine invited lectures presented by leading researchers at the fourth edition of the International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFT 2004, held in Bertinoro, Italy, September 2004.

SFM 2004 is devoted to real-time systems. The lectures presented cover formal models and languages for the specification, modeling, analysis, and verification of time-critical systems, the expressiveness of such models and languages, as well as supporting tools and related applications in different domains.

The book offers a unique and comprehensive state-of-the-art survey on real-time systems. Researchers and advanced students will appreciate the book as a valuable source of reference and a systematic guide to the use of formal methods for the specification, analysis, and verification of real-time systems.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb
Только что пользователи скачали эти книги:

Quantum gravity. Mathematical models and experimental bounds

Автор: , Автор:
Размер книги: 2.40 Mb

Mistrz i Małgorzata

Автор:
Категория: fiction
Размер книги: 1.89 Mb

Island Fiesta

Автор:
Категория: fiction
Размер книги: 3.76 Mb

Passion's Folly

Автор:
Категория: fiction
Размер книги: 102 Kb

Lions and Lace

Автор:
Категория: fiction
Размер книги: 628 Kb

Heart of TARDIS (2nd Doctor & 4th Doctor)

Автор:
Категория: fiction
Размер книги: 368 Kb