|
|
|
|
| LEADER |
01600nam a2200241 a 4500 |
| 001 |
1908440 |
| 005 |
20171111234746.0 |
| 008 |
070925s2007 si a ob 001 0 eng d |
| 020 |
|
|
|a 9789812708472
|q (electronic bk.)
|
| 020 |
|
|
|a 9812708472
|q (electronic bk.)
|z 9789810244248
|
| 040 |
|
|
|a N$T
|b eng
|e pn
|z 981024424X
|
| 050 |
|
4 |
|a QA76.54
|b .R42977 2007eb
|
| 245 |
0 |
0 |
|a Real-time systems :
|b modeling, design, and applications /
|c editors, Dan Inoescu, Aurel Cornell.
|
| 260 |
|
|
|a Singapore ;
|b World Scientific,
|c ©2007.
|a Hackensack, NJ :
|
| 300 |
|
|
|a 1 online resource (xxi, 480 pages) :
|b illustrations.
|
| 490 |
1 |
|
|a AMAST series in computing ;
|v vol. 8
|
| 504 |
|
|
|a Includes bibliographical references (pages 459-477) and index.
|
| 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.
|
| 650 |
|
0 |
|a Real-time data processing.
|
| 650 |
|
7 |
|a COMPUTERS
|x Data Processing.
|
| 700 |
1 |
|
|a Ionescu, Dan.
|
| 856 |
4 |
0 |
|a Cornell, Aurel.
|u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=203876
|
| 952 |
|
|
|a CY-NiOUC
|b 5a0467056c5ad14ac1eeffe5
|c 998a
|d 945l
|e -
|t 1
|x m
|z Books
|
