Real-time systems: modeling, design, and applications
(eBook)
Contributors:
Series:
AMAST series in computing ; vol. 8.
Published:
Singapore ; Hackensack, NJ : World Scientific, ©2007.
Format:
eBook
ISBN:
9789812708472, 9812708472
Physical Desc:
1 online resource (xxi, 480 pages) : illustrations
Status:
Ebsco (CCU)
Description
This book collects the research work of leading-edge researchers and practitioners in the areas of analysis, synthesis, design and implementation of real-time systems with applications in various industrial fields. Their works are grouped into six parts, together encompassing twenty chapters. Each part is devoted to a mainstream subject, the chapters therein developing one of the major aspects of real-time system theory, modeling, design, and practical applications. Starting with a general approach in the area of formalization of real-time systems, and setting the foundations for a general sys.
Copies
Ebsco (CCU)
Subjects
LC Subjects
Bisac Subjects
OCLC Fast Subjects
Other Subjects
Citations
APA Citation (style guide)
Ionescu, D., & Cornell, A. (2007). Real-time systems: modeling, design, and applications. Singapore ; Hackensack, NJ, World Scientific.
Chicago / Turabian - Author Date Citation (style guide)Ionescu, Dan and Aurel. Cornell. 2007. Real-time Systems: Modeling, Design, and Applications. Singapore ; Hackensack, NJ, World Scientific.
Chicago / Turabian - Humanities Citation (style guide)Ionescu, Dan and Aurel. Cornell, Real-time Systems: Modeling, Design, and Applications. Singapore ; Hackensack, NJ, World Scientific, 2007.
MLA Citation (style guide)Ionescu, Dan. and Aurel Cornell. Real-time Systems: Modeling, Design, and Applications. Singapore ; Hackensack, NJ, World Scientific, 2007.
Note! Citation formats are based on standards as of July 2022. Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy.
More Copies In Prospector
Loading Prospector Copies...
More Details
Language:
English
Notes
Bibliography
Includes bibliographical references (pages 459-477) and index.
Description
This book collects the research work of leading-edge researchers and practitioners in the areas of analysis, synthesis, design and implementation of real-time systems with applications in various industrial fields. Their works are grouped into six parts, together encompassing twenty chapters. Each part is devoted to a mainstream subject, the chapters therein developing one of the major aspects of real-time system theory, modeling, design, and practical applications. Starting with a general approach in the area of formalization of real-time systems, and setting the foundations for a general sys.
Staff View
Grouped Work ID:
aaebbb09-94c1-932d-9010-0350ec60a085
Record Information
| Last File Modification Time | Apr 05, 2024 09:17:04 PM |
|---|---|
| Last Grouped Work Modification Time | Apr 05, 2024 09:12:39 PM |
MARC Record
| LEADER | 03790cam a2200589 a 4500 | ||
|---|---|---|---|
| 001 | ocn173281641 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 070925s2007 si a ob 001 0 eng d | ||
| 040 | |a N$T|b eng|e pn|c N$T|d YDXCP|d OCLCQ|d IDEBK|d OCLCQ|d MERUC|d OCLCQ|d OCLCO|d OCLCQ|d OCLCF|d NLGGC|d OCLCQ|d E7B|d OSU|d UBY|d OCLCQ|d VTS|d AGLDB|d STF|d AU@|d UKAHL|d OCLCQ|d K6U|d LEAUB|d M8D|d OCLCQ|d OCLCO|d MHW|d OCLCO|d OCLCQ|d OCLCO|d OCLCL | ||
| 019 | |a 213482209|a 505064289|a 648317106|a 1086409554 | ||
| 020 | |a 9789812708472|q (electronic bk.) | ||
| 020 | |a 9812708472|q (electronic bk.) | ||
| 020 | |z 9789810244248 | ||
| 020 | |z 981024424X | ||
| 029 | 1 | |a AU@|b 000051406934 | |
| 029 | 1 | |a DEBBG|b BV043136236 | |
| 029 | 1 | |a DEBSZ|b 422183016 | |
| 035 | |a (OCoLC)173281641|z (OCoLC)213482209|z (OCoLC)505064289|z (OCoLC)648317106|z (OCoLC)1086409554 | ||
| 050 | 4 | |a QA76.54|b .R42977 2007eb | |
| 072 | 7 | |a COM|x 018000|2 bisacsh | |
| 082 | 0 | 4 | |a 004/.33|2 22 |
| 049 | |a MAIN | ||
| 245 | 0 | 0 | |a Real-time systems :|b modeling, design, and applications /|c editors, Dan Inoescu, Aurel Cornell. |
| 260 | |a Singapore ;|a Hackensack, NJ :|b World Scientific,|c ©2007. | ||
| 300 | |a 1 online resource (xxi, 480 pages) :|b illustrations | ||
| 336 | |a text|b txt|2 rdacontent | ||
| 337 | |a computer|b c|2 rdamedia | ||
| 338 | |a online resource|b cr|2 rdacarrier | ||
| 490 | 1 | |a AMAST series in computing ;|v vol. 8 | |
| 504 | |a Includes bibliographical references (pages 459-477) and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Preface; Contents; PART 1 Theoretical Aspects of Real-Time Systems; Chapter 1 A Discrete Model for Real-Time Environments; Chapter 2 Distributed Synchronous Processes; Chapter 3 A Model of Probabilistic Processes; Chapter 4 Modeling and Proving Grafcets with Transition Systems; Chapter 5 Focus Points and Convergent Process Operators; PART 2 Verification Methods for Real-Time Systems; Chapter 6 The Automatic Verification Using Symbolic Model-Checking; Chapter 7 Property Verification within a Process Algebra Framework; PART 3 Synthesis Methods for Real-Time Systems. | |
| 520 | |a This book collects the research work of leading-edge researchers and practitioners in the areas of analysis, synthesis, design and implementation of real-time systems with applications in various industrial fields. Their works are grouped into six parts, together encompassing twenty chapters. Each part is devoted to a mainstream subject, the chapters therein developing one of the major aspects of real-time system theory, modeling, design, and practical applications. Starting with a general approach in the area of formalization of real-time systems, and setting the foundations for a general sys. | ||
| 650 | 0 | |a Real-time data processing. | |
| 650 | 6 | |a Temps réel (Informatique) | |
| 650 | 7 | |a COMPUTERS|x Data Processing.|2 bisacsh | |
| 650 | 7 | |a Real-time data processing|2 fast | |
| 700 | 1 | |a Ionescu, Dan. | |
| 700 | 1 | |a Cornell, Aurel. | |
| 758 | |i has work:|a Real-time systems (Text)|1 https://id.oclc.org/worldcat/entity/E39PCH8tM7Q6qHkT7gfcBvvM8C|4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version:|t Real-time systems.|d Singapore ; Hackensack, NJ : World Scientific, ©2007|z 9789810244248|z 981024424X|w (DLC) 2007278665|w (OCoLC)144529416 |
| 830 | 0 | |a AMAST series in computing ;|v vol. 8. | |
| 856 | 4 | 0 | |u http://ezproxy.ccu.edu/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=203876 |
| 938 | |a Askews and Holts Library Services|b ASKH|n AH24684168 | ||
| 938 | |a ebrary|b EBRY|n ebr10188827 | ||
| 938 | |a EBSCOhost|b EBSC|n 203876 | ||
| 938 | |a YBP Library Services|b YANK|n 2706209 | ||
| 949 | 0 | 1 | |h 9|l cceb|s j|t 188|w EBSCO Academic : External |
| 994 | |a 92|b FCX | ||
