Communicating embedded systems: software and design : formal methods
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
London
ISTE, Ltd.
2010
|
| Schriftenreihe: | ISTE
|
| Schlagworte: | |
| Online-Zugang: | FRO01 UBG01 Volltext |
| Beschreibung: | 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 Includes bibliographical references and index |
| Beschreibung: | 1 Online-Ressource (275 pages) |
| ISBN: | 9781118558188 1118558189 9781118600122 1118600126 9781118600092 1118600096 1848211430 9781848211438 1299187455 9781299187450 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043395468 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160222s2010 |||| o||u| ||||||eng d | ||
| 020 | |a 9781118558188 |c electronic bk. |9 978-1-118-55818-8 | ||
| 020 | |a 1118558189 |c electronic bk. |9 1-118-55818-9 | ||
| 020 | |a 9781118600122 |c electronic bk. |9 978-1-118-60012-2 | ||
| 020 | |a 1118600126 |c electronic bk. |9 1-118-60012-6 | ||
| 020 | |a 9781118600092 |9 978-1-118-60009-2 | ||
| 020 | |a 1118600096 |9 1-118-60009-6 | ||
| 020 | |a 1848211430 |9 1-84821-143-0 | ||
| 020 | |a 9781848211438 |9 978-1-84821-143-8 | ||
| 020 | |a 9781848211438 |9 978-1-84821-143-8 | ||
| 020 | |a 1299187455 |c ebk |9 1-299-18745-5 | ||
| 020 | |a 9781299187450 |c ebk |9 978-1-299-18745-0 | ||
| 024 | 7 | |a 10.1002/9781118558188 |2 doi | |
| 035 | |a (ZDB-35-WIC)ocn828298965 | ||
| 035 | |a (OCoLC)828298965 | ||
| 035 | |a (DE-599)BVBBV043395468 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-861 | ||
| 082 | 0 | |a 621.39 | |
| 130 | 0 | |a Approches formelles des systèmes embarqués communicants | |
| 245 | 1 | 0 | |a Communicating embedded systems |b software and design : formal methods |c edited by Claude Hard, Olivier H. Roux |
| 264 | 1 | |a London |b ISTE, Ltd. |c 2010 | |
| 300 | |a 1 Online-Ressource (275 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a ISTE | |
| 500 | |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 | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Computer software / Development | |
| 650 | 4 | |a Embedded computer systems | |
| 650 | 4 | |a Embedded computer systems / Programming | |
| 650 | 4 | |a Embedded computer systems / Design and construction | |
| 650 | 4 | |a Formal methods (Computer science) | |
| 650 | 7 | |a COMPUTERS / Computer Engineering |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Hardware / General |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Machine Theory |2 bisacsh | |
| 650 | 7 | |a Embedded computer systems / Design and construction |2 fast | |
| 650 | 7 | |a Embedded computer systems / Programming |2 fast | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast | |
| 650 | 4 | |a Embedded computer systems / Programming | |
| 650 | 4 | |a Embedded computer systems / Design and construction | |
| 650 | 4 | |a Formal methods (Computer science) | |
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 653 | |a Electronic books | ||
| 655 | 7 | |8 1\p |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Jard, Claude |e Sonstige |4 oth | |
| 700 | 1 | |a Roux, Olivier H. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://onlinelibrary.wiley.com/doi/book/10.1002/9781118558188 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-35-WIC | ||
| 940 | 1 | |q UBG_PDA_WIC | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028814052 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://onlinelibrary.wiley.com/doi/book/10.1002/9781118558188 |l FRO01 |p ZDB-35-WIC |q FRO_PDA_WIC |x Verlag |3 Volltext | |
| 966 | e | |u https://onlinelibrary.wiley.com/doi/book/10.1002/9781118558188 |l UBG01 |p ZDB-35-WIC |q UBG_PDA_WIC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175975365214208 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV043395468 |
| collection | ZDB-35-WIC |
| ctrlnum | (ZDB-35-WIC)ocn828298965 (OCoLC)828298965 (DE-599)BVBBV043395468 |
| dewey-full | 621.39 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.39 |
| dewey-search | 621.39 |
| dewey-sort | 3621.39 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Elektrotechnik / Elektronik / Nachrichtentechnik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03796nmm a2200781zc 4500</leader><controlfield tag="001">BV043395468</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160222s2010 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118558188</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-118-55818-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1118558189</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-118-55818-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118600122</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-118-60012-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1118600126</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-118-60012-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118600092</subfield><subfield code="9">978-1-118-60009-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1118600096</subfield><subfield code="9">1-118-60009-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1848211430</subfield><subfield code="9">1-84821-143-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781848211438</subfield><subfield code="9">978-1-84821-143-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781848211438</subfield><subfield code="9">978-1-84821-143-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1299187455</subfield><subfield code="c">ebk</subfield><subfield code="9">1-299-18745-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781299187450</subfield><subfield code="c">ebk</subfield><subfield code="9">978-1-299-18745-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1002/9781118558188</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-35-WIC)ocn828298965</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)828298965</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043395468</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-861</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.39</subfield></datafield><datafield tag="130" ind1="0" ind2=" "><subfield code="a">Approches formelles des systèmes embarqués communicants</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Communicating embedded systems</subfield><subfield code="b">software and design : formal methods</subfield><subfield code="c">edited by Claude Hard, Olivier H. Roux</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">ISTE, Ltd.</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (275 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">ISTE</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="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</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software / Development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded computer systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded computer systems / Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded computer systems / Design and construction</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Computer Engineering</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Hardware / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Machine Theory</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Embedded computer systems / Design and construction</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Embedded computer systems / Programming</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded computer systems / Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded computer systems / Design and construction</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Electronic books</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jard, Claude</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Roux, Olivier H.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118558188</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-35-WIC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UBG_PDA_WIC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028814052</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118558188</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-35-WIC</subfield><subfield code="q">FRO_PDA_WIC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118558188</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-35-WIC</subfield><subfield code="q">UBG_PDA_WIC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV043395468 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:24:49Z |
| institution | BVB |
| isbn | 9781118558188 1118558189 9781118600122 1118600126 9781118600092 1118600096 1848211430 9781848211438 1299187455 9781299187450 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028814052 |
| oclc_num | 828298965 |
| open_access_boolean | |
| owner | DE-861 |
| owner_facet | DE-861 |
| physical | 1 Online-Ressource (275 pages) |
| psigel | ZDB-35-WIC UBG_PDA_WIC ZDB-35-WIC FRO_PDA_WIC ZDB-35-WIC UBG_PDA_WIC |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | ISTE, Ltd. |
| record_format | marc |
| series2 | ISTE |
| spelling | Approches formelles des systèmes embarqués communicants Communicating embedded systems software and design : formal methods edited by Claude Hard, Olivier H. Roux London ISTE, Ltd. 2010 1 Online-Ressource (275 pages) txt rdacontent c rdamedia cr rdacarrier ISTE 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 Includes bibliographical references and index Computer software / Development Embedded computer systems Embedded computer systems / Programming Embedded computer systems / Design and construction Formal methods (Computer science) COMPUTERS / Computer Engineering bisacsh COMPUTERS / Hardware / General bisacsh COMPUTERS / Machine Theory bisacsh Embedded computer systems / Design and construction fast Embedded computer systems / Programming fast Formal methods (Computer science) fast Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Electronic books 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content Eingebettetes System (DE-588)4396978-1 s 2\p DE-604 Jard, Claude Sonstige oth Roux, Olivier H. Sonstige oth https://onlinelibrary.wiley.com/doi/book/10.1002/9781118558188 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Communicating embedded systems software and design : formal methods Computer software / Development Embedded computer systems Embedded computer systems / Programming Embedded computer systems / Design and construction Formal methods (Computer science) COMPUTERS / Computer Engineering bisacsh COMPUTERS / Hardware / General bisacsh COMPUTERS / Machine Theory bisacsh Embedded computer systems / Design and construction fast Embedded computer systems / Programming fast Formal methods (Computer science) fast Eingebettetes System (DE-588)4396978-1 gnd |
| subject_GND | (DE-588)4396978-1 (DE-588)4143413-4 |
| title | Communicating embedded systems software and design : formal methods |
| title_alt | Approches formelles des systèmes embarqués communicants |
| title_auth | Communicating embedded systems software and design : formal methods |
| title_exact_search | Communicating embedded systems software and design : formal methods |
| title_full | Communicating embedded systems software and design : formal methods edited by Claude Hard, Olivier H. Roux |
| title_fullStr | Communicating embedded systems software and design : formal methods edited by Claude Hard, Olivier H. Roux |
| title_full_unstemmed | Communicating embedded systems software and design : formal methods edited by Claude Hard, Olivier H. Roux |
| title_short | Communicating embedded systems |
| title_sort | communicating embedded systems software and design formal methods |
| title_sub | software and design : formal methods |
| topic | Computer software / Development Embedded computer systems Embedded computer systems / Programming Embedded computer systems / Design and construction Formal methods (Computer science) COMPUTERS / Computer Engineering bisacsh COMPUTERS / Hardware / General bisacsh COMPUTERS / Machine Theory bisacsh Embedded computer systems / Design and construction fast Embedded computer systems / Programming fast Formal methods (Computer science) fast Eingebettetes System (DE-588)4396978-1 gnd |
| topic_facet | Computer software / Development Embedded computer systems Embedded computer systems / Programming Embedded computer systems / Design and construction Formal methods (Computer science) COMPUTERS / Computer Engineering COMPUTERS / Hardware / General COMPUTERS / Machine Theory Eingebettetes System Aufsatzsammlung |
| url | https://onlinelibrary.wiley.com/doi/book/10.1002/9781118558188 |
| work_keys_str_mv | UT approchesformellesdessystemesembarquescommunicants AT jardclaude communicatingembeddedsystemssoftwareanddesignformalmethods AT rouxolivierh communicatingembeddedsystemssoftwareanddesignformalmethods |