Chargement en cours…
Communicating embedded systems : software and design : formal methods /
The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a cl...
| Cote: | Libro Electrónico |
|---|---|
| Autres auteurs: | , |
| Format: | Électronique eBook |
| Langue: | Inglés Francés |
| Publié: |
London : Hoboken :
ISTE, Ltd. ; Wiley,
2010.
|
| Collection: | ISTE.
|
| Sujets: | |
| Accès en ligne: | Texto completo (Requiere registro previo con correo institucional) |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | OR_ocn828298965 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130223s2010 enk ob 001 0 eng d | ||
| 010 | |a 2009026282 | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d YDXCP |d DG1 |d N$T |d UMI |d OCLCQ |d DEBSZ |d OCLCF |d OCLCO |d OCLCQ |d OCLCO |d IDEBK |d E7B |d OCLCO |d DEBBG |d OCLCQ |d OCLCO |d COO |d OCLCO |d OCLCQ |d OCLCO |d LOA |d OCLCO |d OCLCQ |d COCUF |d DG1 |d MOR |d CCO |d LIP |d PIFBY |d MERUC |d OCLCQ |d ZCU |d U3W |d OCLCQ |d STF |d WRM |d ICG |d INT |d VT2 |d CEF |d OCLCQ |d WYU |d OCLCQ |d UAB |d DKC |d OCLCQ |d UKAHL |d OCLCQ |d UKCRE |d OCLCO |d OCLCQ | ||
| 019 | |a 842860162 |a 857718082 |a 960201456 |a 961504619 |a 988510488 |a 992113236 |a 992928317 |a 1037784474 |a 1038593798 |a 1055319771 |a 1066580397 |a 1081193376 |a 1103272873 |a 1129363259 |a 1152999540 | ||
| 020 | |a 9781118558188 |q (electronic bk.) | ||
| 020 | |a 1118558189 |q (electronic bk.) | ||
| 020 | |a 9781118600122 |q (electronic bk.) | ||
| 020 | |a 1118600126 |q (electronic bk.) | ||
| 020 | |a 9781118600092 | ||
| 020 | |a 1118600096 | ||
| 020 | |a 1848211430 | ||
| 020 | |a 9781848211438 | ||
| 020 | |a 1299187455 |q (ebk) | ||
| 020 | |a 9781299187450 |q (ebk) | ||
| 020 | |z 9781848211438 | ||
| 029 | 1 | |a AU@ |b 000050718494 | |
| 029 | 1 | |a AU@ |b 000052006660 | |
| 029 | 1 | |a AU@ |b 000060074203 | |
| 029 | 1 | |a CHNEW |b 000941266 | |
| 029 | 1 | |a CHVBK |b 480215413 | |
| 029 | 1 | |a DEBBG |b BV041432031 | |
| 029 | 1 | |a DEBBG |b BV041906302 | |
| 029 | 1 | |a DEBBG |b BV043395468 | |
| 029 | 1 | |a DEBBG |b BV044172849 | |
| 029 | 1 | |a DEBSZ |b 398279217 | |
| 029 | 1 | |a DEBSZ |b 400440873 | |
| 029 | 1 | |a DEBSZ |b 431338299 | |
| 029 | 1 | |a DKDLA |b 820120-katalog:999934081405765 | |
| 035 | |a (OCoLC)828298965 |z (OCoLC)842860162 |z (OCoLC)857718082 |z (OCoLC)960201456 |z (OCoLC)961504619 |z (OCoLC)988510488 |z (OCoLC)992113236 |z (OCoLC)992928317 |z (OCoLC)1037784474 |z (OCoLC)1038593798 |z (OCoLC)1055319771 |z (OCoLC)1066580397 |z (OCoLC)1081193376 |z (OCoLC)1103272873 |z (OCoLC)1129363259 |z (OCoLC)1152999540 | ||
| 037 | |a CL0500000277 |b Safari Books Online | ||
| 041 | 1 | |a eng |h fre | |
| 050 | 4 | |a TK7895.E42 |b A387 2010 | |
| 072 | 7 | |a COM |x 059000 |2 bisacsh | |
| 072 | 7 | |a COM |x 067000 |2 bisacsh | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 082 | 0 | 4 | |a 621.39 |a 621.39/2 |a 621.392 |
| 049 | |a UAMI | ||
| 130 | 0 | |a Approches formelles des systèmes embarqués communicants. |l English. | |
| 245 | 1 | 0 | |a Communicating embedded systems : |b software and design : formal methods / |c edited by Claude Hard, Olivier H. Roux. |
| 260 | |a London : |b ISTE, Ltd. ; |a Hoboken : |b Wiley, |c 2010. | ||
| 300 | |a 1 online resource (275 pages) | ||
| 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 ISTE | |
| 520 | |a The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools. | ||
| 505 | 0 | |a 1. Models for Embedded Real-time Systems, D. Lime, O.H. Roux and J. Srba -- 2. Timed Model-Checking, B. Bérard -- 3. Control of Timed Systems, F. Cassez, N. Markey -- 4. Fault Diagnosis of Timed Systems, F. Cassez, S. Tripakis -- 5. Quantitative Verification of Markov Chains, S. Donatelli, S. Haddad -- 6. Tools for Model-Checking Timed Systems, A. David et al -- 7. Tools for the Analysis of Hybrid Models, T. Dang, G. Frehse, A. Girard, C. Le Guernic. | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 590 | |a O'Reilly |b O'Reilly Online Learning: Academic/Public Library Edition | ||
| 650 | 0 | |a Embedded computer systems |x Programming. | |
| 650 | 0 | |a Embedded computer systems |x Design and construction. | |
| 650 | 0 | |a Formal methods (Computer science) | |
| 650 | 6 | |a Méthodes formelles (Informatique) | |
| 650 | 7 | |a COMPUTERS |x Computer Engineering. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Hardware |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a Embedded computer systems |x Design and construction. |2 fast |0 (OCoLC)fst00908300 | |
| 650 | 7 | |a Embedded computer systems |x Programming. |2 fast |0 (OCoLC)fst00908303 | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast |0 (OCoLC)fst00932926 | |
| 700 | 1 | |a Jard, Claude. | |
| 700 | 1 | |a Roux, Olivier H. | |
| 776 | 0 | 8 | |i Print version: |a Jard, Claude. |t Communicating Embedded Systems : Software and Design. |d London : Wiley, ©2013 |z 9781848211438 |
| 830 | 0 | |a ISTE. | |
| 856 | 4 | 0 | |u https://learning.oreilly.com/library/view/~/9781118600092/?ar |z Texto completo (Requiere registro previo con correo institucional) |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24971772 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24971770 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL1124321 | ||
| 938 | |a ebrary |b EBRY |n ebr10658441 | ||
| 938 | |a EBSCOhost |b EBSC |n 536062 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis24807222 | ||
| 938 | |a YBP Library Services |b YANK |n 10196204 | ||
| 938 | |a YBP Library Services |b YANK |n 9984785 | ||
| 938 | |a YBP Library Services |b YANK |n 12676468 | ||
| 994 | |a 92 |b IZTAP | ||