Cargando…
Real-time systems : modeling, design, and applications /
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 p...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Singapore ; Hackensack, NJ :
World Scientific,
©2007.
|
| Colección: | AMAST series in computing ;
vol. 8. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn173281641 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.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 | ||
| 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 UAMI | ||
| 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. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 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 |0 (OCoLC)fst01091219 | |
| 700 | 1 | |a Ionescu, Dan. | |
| 700 | 1 | |a Cornell, Aurel. | |
| 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 https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=203876 |z Texto completo |
| 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 | ||
| 994 | |a 92 |b IZTAP | ||