Related Books

Synchronous Equivalence
Language: en
Pages: 141
Authors: Harry Hsieh
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionally, one or
Cellular Automata and Discrete Complex Systems
Language: en
Pages: 177
Authors: Hector Zenil
Categories: Computers
Type: BOOK - Published: 2020-10-21 - Publisher: Springer Nature

DOWNLOAD EBOOK

This volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex System
Design and Analysis of Distributed Embedded Systems
Language: en
Pages: 294
Authors: Bernd Kleinjohann
Categories: Computers
Type: BOOK - Published: 2013-04-17 - Publisher: Springer

DOWNLOAD EBOOK

Design and Analysis of Distributed Embedded Systems is organized similar to the conference. Chapters 1 and 2 deal with specification methods and their analysis
Stabilization, Safety, and Security of Distributed Systems
Language: en
Pages: 619
Authors: Shlomi Dolev
Categories: Business & Economics
Type: BOOK - Published: 2010-09-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2010, held
Formal Methods for Embedded System Design
Language: en
Pages: 330
Authors: Harry Chia Chang Hsieh
Categories: Embedded computer systems
Type: BOOK - Published: 2000 - Publisher:

DOWNLOAD EBOOK