Cover Image
Read Now

1
by Soeken, Mathias, Drechsler, Rolf
Published 2015
Springer International Publishing
“... specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers...”
Cover Image
Read Now

2
by Tarnay, Katalin
Published 1991
Springer US
Table of Contents: “... -- 5. Graph Models -- 6. Algebras And Formal Languages -- 7. Specification Languages For Communication...”
Cover Image
Read Now

3
by de Dinechin, Florent, Kumm, Martin
Published 2024
Springer International Publishing
Table of Contents: “... Specification and Error Analysis -- Chapter 4 Field Programmable Gate Arrays -- Part 1 Revisiting Classic...”
Cover Image
Read Now

4
Published 1997
Springer US
“...Application Specific Processors is written for use by engineers who are developing specialized...”
Cover Image
Read Now

5 Table of Contents: “... Reference Implementation -- 3.6 Summary -- 4. The Specc Methodology -- 4.1 Overview -- 4.2 Specification...”
Cover Image
Read Now

6
Published 2012
Springer New York
Table of Contents: “...Formal Hardware/Software Co-verification of Application Specific Instruction Set Processors...”
Cover Image
Read Now

7
Published 1991
Springer Berlin Heidelberg
“...Methods for the algebraic specification of abstract data types were proposed in the early 1970...”
Cover Image
Read Now

8
Published 1988
Springer US
Table of Contents: “... for Hardware Design -- 13 Verification of Asynchronous Circuits: Behaviors, Constraints, and Specifications...”
Cover Image
Read Now

9
by Nicolescu, G., Jerraya, Ahmed A.
Published 2007
Springer Netherlands
“... and micro-mechanical). Global Specification and Validation of Embedded Systems offers a deep understanding...”
Cover Image
Read Now

10
Published 2008
Springer Netherlands
Table of Contents: “... Architecture -- Analog, Mixed-Signal, and Heterogeneous System Design -- Heterogeneous Specification with HetSC...”
Cover Image
Read Now

11
by Benedict, Robert P.
Published 1966
Springer US
Table of Contents: “... with Darcy Approximations -- 3 Specific Numerical Examples of Flow with Losses -- 4 Generalized Solution...”
Cover Image
Read Now

12
Published 1995
Springer US
Cover Image
Read Now

13
Published 1996
Springer US
“... specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol...”
Cover Image
Read Now

14
by Belean, Bogdan
Published 2018
Springer International Publishing
Cover Image
Read Now

15
by Montali, Marco
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...I Specification -- Declarative Open Interaction Models -- The ConDec Language -- The CLIMB Rule...”
Cover Image
Read Now

16
Published 2006
Springer Netherlands
Table of Contents: “...Specification, Design, and Verification Methods -- PSL-Based Online Monitoring of Digital Systems...”
Cover Image
Read Now

17
Published 2007
Springer Netherlands
Table of Contents: “... Kinds of System Descriptions as Synchronous Programs -- UML-Based System Specification and Design -- A...”
Cover Image
Read Now

18
Published 2005
Springer US
Table of Contents: “... -- UML-Based System Specification and Design -- Metamodels and MDA Transformations for Embedded Systems...”
Cover Image
Read Now

19
by Mohamed, Khaled Salah
Published 2016
Springer International Publishing
Table of Contents: “...1. Introduction -- 2. IP Cores Design from Specifications to Production: Modeling, Verification...”
Cover Image
Read Now

20
Published 2003
Springer Netherlands
Table of Contents: “... for Geometric Variation Management from Key Characteristics to Specification -- Tolerance verification...”