Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Specification Level

Name: Formal Specification Level
Brand: Springer International Publishing AG
SKU: 13633632
Price: 102.84 EUR
Availability: InStock
Author: Mathias Soeken
ISBN: 9783319378824

Concepts, Methods, and Algorithms

Mathias Soeken

Rolf Drechsler

Language

English

Book Paperback

Libristo code: 13633632

Publishers Springer International Publishing AG, August 2016

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

Libristo code: 13633632

249 b

102.84 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

FABLIAU 2 OPUS 75 PIANO JOSEPH-JOACHIM RAFF Printed items

Sheet music

8.78 €

Assoziationsregel-Algorithmen fuer Daten mit komplexer Struktur Lars Schmidt-Thieme

Paperback

71.82 €

Photography Inspirations /multilingue DAAB

Paperback

86.68 €

Hell's Paradise - Band 1 Yuko Keller

Paperback

6.66 €

Orthographe progressive du francais J-M Robert

Paperback

31.61 €

Pasje Zygmunta Freuda Fromm Erich

Paperback

4.84 €

No lleves hadas al cole PALOMA BORDONS

Paperback

9.69 €

Gruppentraining Wirbelsaulengymnastik. Optimaler Phasenverlauf und Funktionen des Gruppentrainers nach Reiss & Fikenzer Anonym

Paperback

13.53 €

Técnicas generales de laboratorio María Isabel Lorenzo Luque

Paperback

48.28 €

Unterrichtsplanung und Methoden Astrid Kaiser

Paperback

17.17 €

Klassenarbeiten Mathematik 5, m. 1 CD-ROM Martin Gehstein

Paperback

28.78 €

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