Formal Specification Level Concepts, Methods, and Algorithms

Formal Specification Level Concepts, Methods, and Algorithms / by Mathias Soeken, Rolf Drechsler.

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

Full description

Saved in:
Bibliographic Details
Main Authors: Soeken, Mathias (Author), Drechsler, Rolf (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:1st ed. 2015.
Series:Springer eBook Collection.
Subjects:
Electronic circuits.
Microprocessors.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Status: Available

Similar Items