Formal Specification Level, 1

Name: Formal Specification Level, 1
Brand: Springer, Berlin
SKU: 9783319086989
Price: 105.41 EUR
Availability: InStock

Algorithms, Concepts and Methods

Автор: Mathias Soeken, Rolf Drechsler

Език:

Корици: С твърди корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 10-13 дни

105.41 € 206.16 лв

This book introduces a new level of abstraction that closes the gap between the textual specificatio...

Информация за книгата

Автор

Mathias Soeken, Rolf Drechsler

Език

Английски език

Корици

Книга - С твърди корици

Издадена

2014

страници

200

EAN

9783319086989

ISBN

3319086987

Enbook ID

02746221

Издател

Springer, Berlin

Теглоt

360

Размери

155 x 235 x 14

Пълно описание

This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the so-called Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner. The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Formal Specification Level, 1

Algorithms, Concepts and Methods

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също