Formal Specification Level

Name: Formal Specification Level
Brand: Springer International Publishing AG
SKU: 9783319378824
Price: 2286 CZK
Availability: InStock

Concepts, Methods, and Algorithms

Autor: Mathias Soeken, Rolf Drechsler

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer International Publishing AG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

2 286 Kč

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

Informace o knize

Autor

Mathias Soeken, Rolf Drechsler

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2016

Stránek

138

EAN

9783319378824

ISBN

3319378821

Enbook ID

13633632

Vydavatel

Springer International Publishing AG

Hmotnost

238

Rozměry

155 x 235 x 8

Kompletní popis

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 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.§

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Formal Specification Level

Concepts, Methods, and Algorithms

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také