Local cover image
Local cover image

Introduction to embedded systems : a cyber-physical systems approach / Edward Ashford Lee and Sanjit Arunkumar Seshia

By: Publisher: [New York : Springer, c2011-2015]Edition: Second editionDescription: xxii, 563 pages : illustrationsContent type:
  • text
Media type:
  • unmediated
Carrier type:
  • volume
ISBN:
  • 9781312427402 [newsprint]
Subject(s): DDC classification:
  • 006.22 L51 2011-2015
Online resources:
Contents:
1 Modeling dynamic behaviors -- 2 Continuous dynamics -- 3 Discrete dynamics -- 4 Hybrid systems -- 5 Composition of state machines -- 6 Concurrent models of computation -- 7 Sensors and actuators -- 8 Embedded processors -- 9 Memory architectures -- 10 Input and output -- 11 Multitasking -- 12 Scheduling -- 13 Invariants and temporal logic -- 14 Equivalent and refinement -- 15 Reachability analysis and model checking -- 16 Quantitative analysis -- 17 Security and privacy
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Reference Reference College Library Computer Studies 006.22 L51 2011-2015 (Browse shelf(Opens below)) Available 98357

Includes appendices, bibliographical references and index

1 Modeling dynamic behaviors -- 2 Continuous dynamics -- 3 Discrete dynamics -- 4 Hybrid systems -- 5 Composition of state machines -- 6 Concurrent models of computation -- 7 Sensors and actuators -- 8 Embedded processors -- 9 Memory architectures -- 10 Input and output -- 11 Multitasking -- 12 Scheduling -- 13 Invariants and temporal logic -- 14 Equivalent and refinement -- 15 Reachability analysis and model checking -- 16 Quantitative analysis -- 17 Security and privacy

English

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer

Local cover image

Powered by Koha