Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems / [author, Heinrich Rust].

By: Rust, HeinrichMaterial type: TextTextSeries: SpringerLecture notes in computer science: 3456.Publisher: Berlin ; New York : Springer, c2005Description: 1 online resource (xii, 223 p.) : illISBN: 9783540320081; 3540320083; 3540255761; 9783540255765; 9786611408282; 6611408282Subject(s): Real-time data processing | Real-time programming | Hybrid systems | Operating systems (Computers) | SemanticsAdditional physical formats: Print version:: Operational semantics for timed systems.LOC classification: QA76.54 | .R87 2005Online resources: Click here to view this ebook.
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number URL Status Date due Barcode
Electronic Book UT Tyler Online
QA76.54 .R87 2005 (Browse shelf) http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/b135629 Available ocn262680867

Includes bibliographical references (p. [215]-220) and index.

Description based on print version record.

There are no comments on this title.

to post a comment.