Protocol specification, testing, and verification, XII: proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland
1992
|
| Schriftenreihe: | IFIP transactions
C-8 |
| Schlagworte: | |
| Online-Zugang: | FAW01 URL des Erstveröffentlichers |
| Beschreibung: | Includes bibliographical references and index For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification, implementation, testing and verification. This book identifies the many successes that have been achieved within the industrial framework and the difficulties encountered in applying theoretical methods to practical situations. Issues discussed include: testing and certification; verification; validation; environments and automated tools; formal specifications; protocol conversion; implementation; specification languages and models. C. |
| Beschreibung: | xi, 415 pages |
| ISBN: | 9781483293349 1483293343 0444898743 9780444898746 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044387311 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170630s1992 |||| o||u| ||||||eng d | ||
| 020 | |a 9781483293349 |9 978-1-4832-9334-9 | ||
| 020 | |a 1483293343 |9 1-4832-9334-3 | ||
| 020 | |a 0444898743 |9 0-444-89874-3 | ||
| 020 | |a 9780444898746 |9 978-0-444-89874-6 | ||
| 035 | |a (ZDB-33-ESD)ocn654424019 | ||
| 035 | |a (OCoLC)654424019 | ||
| 035 | |a (DE-599)BVBBV044387311 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 004.62 |2 20 | |
| 110 | 2 | |a IFIP TC6 WG 6.1 International Symposium on Protocol Specification, Testing, and Verification <12th, Lake Buena Vista, Florida> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Protocol specification, testing, and verification, XII |b proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992 |c edited by R.J. Linn, Jr., M.Ü. Uyar |
| 264 | 1 | |a Amsterdam |b North-Holland |c 1992 | |
| 300 | |a xi, 415 pages | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a IFIP transactions |v C-8 | |
| 500 | |a Includes bibliographical references and index | ||
| 500 | |a For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification, implementation, testing and verification. This book identifies the many successes that have been achieved within the industrial framework and the difficulties encountered in applying theoretical methods to practical situations. Issues discussed include: testing and certification; verification; validation; environments and automated tools; formal specifications; protocol conversion; implementation; specification languages and models. C. | ||
| 650 | 4 | |a Protocoles de réseaux d'ordinateurs / Congrès | |
| 650 | 7 | |a Computernetwerken |2 gtt | |
| 650 | 7 | |a Computer network protocols |2 fast | |
| 650 | 7 | |a COMPUTERS / Computer Literacy |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Computer Science |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Data Processing |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Hardware / General |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Information Technology |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Machine Theory |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Reference |2 bisacsh | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer network protocols |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Linn, R. J. |e Sonstige |4 oth | |
| 700 | 1 | |a Uyar, M. Ü. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444898746 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-33-ESD | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029789532 | ||
| 966 | e | |u http://www.sciencedirect.com/science/book/9780444898746 |l FAW01 |p ZDB-33-ESD |q FAW_PDA_ESD |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804177656191647744 |
|---|---|
| any_adam_object | |
| author_corporate | IFIP TC6 WG 6.1 International Symposium on Protocol Specification, Testing, and Verification <12th, Lake Buena Vista, Florida> |
| author_corporate_role | aut |
| author_facet | IFIP TC6 WG 6.1 International Symposium on Protocol Specification, Testing, and Verification <12th, Lake Buena Vista, Florida> |
| author_sort | IFIP TC6 WG 6.1 International Symposium on Protocol Specification, Testing, and Verification <12th, Lake Buena Vista, Florida> |
| building | Verbundindex |
| bvnumber | BV044387311 |
| collection | ZDB-33-ESD |
| ctrlnum | (ZDB-33-ESD)ocn654424019 (OCoLC)654424019 (DE-599)BVBBV044387311 |
| dewey-full | 004.62 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.62 |
| dewey-search | 004.62 |
| dewey-sort | 14.62 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02995nmm a2200565zcb4500</leader><controlfield tag="001">BV044387311</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170630s1992 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781483293349</subfield><subfield code="9">978-1-4832-9334-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1483293343</subfield><subfield code="9">1-4832-9334-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444898743</subfield><subfield code="9">0-444-89874-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444898746</subfield><subfield code="9">978-0-444-89874-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-ESD)ocn654424019</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)654424019</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044387311</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-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.62</subfield><subfield code="2">20</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">IFIP TC6 WG 6.1 International Symposium on Protocol Specification, Testing, and Verification <12th, Lake Buena Vista, Florida></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Protocol specification, testing, and verification, XII</subfield><subfield code="b">proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992</subfield><subfield code="c">edited by R.J. Linn, Jr., M.Ü. Uyar</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xi, 415 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">IFIP transactions</subfield><subfield code="v">C-8</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification, implementation, testing and verification. This book identifies the many successes that have been achieved within the industrial framework and the difficulties encountered in applying theoretical methods to practical situations. Issues discussed include: testing and certification; verification; validation; environments and automated tools; formal specifications; protocol conversion; implementation; specification languages and models. C.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Protocoles de réseaux d'ordinateurs / Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computernetwerken</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer network protocols</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Computer Literacy</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Computer Science</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Data Processing</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 / Information Technology</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">COMPUTERS / Reference</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer network protocols</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Linn, R. J.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Uyar, M. Ü.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444898746</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-33-ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029789532</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780444898746</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044387311 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:51:32Z |
| institution | BVB |
| isbn | 9781483293349 1483293343 0444898743 9780444898746 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029789532 |
| oclc_num | 654424019 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | xi, 415 pages |
| psigel | ZDB-33-ESD ZDB-33-ESD FAW_PDA_ESD |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | North-Holland |
| record_format | marc |
| series2 | IFIP transactions |
| spelling | IFIP TC6 WG 6.1 International Symposium on Protocol Specification, Testing, and Verification <12th, Lake Buena Vista, Florida> Verfasser aut Protocol specification, testing, and verification, XII proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992 edited by R.J. Linn, Jr., M.Ü. Uyar Amsterdam North-Holland 1992 xi, 415 pages txt rdacontent c rdamedia cr rdacarrier IFIP transactions C-8 Includes bibliographical references and index For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification, implementation, testing and verification. This book identifies the many successes that have been achieved within the industrial framework and the difficulties encountered in applying theoretical methods to practical situations. Issues discussed include: testing and certification; verification; validation; environments and automated tools; formal specifications; protocol conversion; implementation; specification languages and models. C. Protocoles de réseaux d'ordinateurs / Congrès Computernetwerken gtt Computer network protocols fast COMPUTERS / Computer Literacy bisacsh COMPUTERS / Computer Science bisacsh COMPUTERS / Data Processing bisacsh COMPUTERS / Hardware / General bisacsh COMPUTERS / Information Technology bisacsh COMPUTERS / Machine Theory bisacsh COMPUTERS / Reference bisacsh Informatik Computer network protocols Congresses (DE-588)1071861417 Konferenzschrift gnd-content Linn, R. J. Sonstige oth Uyar, M. Ü. Sonstige oth http://www.sciencedirect.com/science/book/9780444898746 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Protocol specification, testing, and verification, XII proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992 Protocoles de réseaux d'ordinateurs / Congrès Computernetwerken gtt Computer network protocols fast COMPUTERS / Computer Literacy bisacsh COMPUTERS / Computer Science bisacsh COMPUTERS / Data Processing bisacsh COMPUTERS / Hardware / General bisacsh COMPUTERS / Information Technology bisacsh COMPUTERS / Machine Theory bisacsh COMPUTERS / Reference bisacsh Informatik Computer network protocols Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Protocol specification, testing, and verification, XII proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992 |
| title_auth | Protocol specification, testing, and verification, XII proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992 |
| title_exact_search | Protocol specification, testing, and verification, XII proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992 |
| title_full | Protocol specification, testing, and verification, XII proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992 edited by R.J. Linn, Jr., M.Ü. Uyar |
| title_fullStr | Protocol specification, testing, and verification, XII proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992 edited by R.J. Linn, Jr., M.Ü. Uyar |
| title_full_unstemmed | Protocol specification, testing, and verification, XII proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992 edited by R.J. Linn, Jr., M.Ü. Uyar |
| title_short | Protocol specification, testing, and verification, XII |
| title_sort | protocol specification testing and verification xii proceedings of the ifip tc6 wg 6 1 twelfth international symposium on protocol specification testing and verification lake buena vista florida u s a 22 25 june 1992 |
| title_sub | proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992 |
| topic | Protocoles de réseaux d'ordinateurs / Congrès Computernetwerken gtt Computer network protocols fast COMPUTERS / Computer Literacy bisacsh COMPUTERS / Computer Science bisacsh COMPUTERS / Data Processing bisacsh COMPUTERS / Hardware / General bisacsh COMPUTERS / Information Technology bisacsh COMPUTERS / Machine Theory bisacsh COMPUTERS / Reference bisacsh Informatik Computer network protocols Congresses |
| topic_facet | Protocoles de réseaux d'ordinateurs / Congrès Computernetwerken Computer network protocols COMPUTERS / Computer Literacy COMPUTERS / Computer Science COMPUTERS / Data Processing COMPUTERS / Hardware / General COMPUTERS / Information Technology COMPUTERS / Machine Theory COMPUTERS / Reference Informatik Computer network protocols Congresses Konferenzschrift |
| url | http://www.sciencedirect.com/science/book/9780444898746 |
| work_keys_str_mv | AT ifiptc6wg61internationalsymposiumonprotocolspecificationtestingandverification12thlakebuenavistaflorida protocolspecificationtestingandverificationxiiproceedingsoftheifiptc6wg61twelfthinternationalsymposiumonprotocolspecificationtestingandverificationlakebuenavistafloridausa2225june1992 AT linnrj protocolspecificationtestingandverificationxiiproceedingsoftheifiptc6wg61twelfthinternationalsymposiumonprotocolspecificationtestingandverificationlakebuenavistafloridausa2225june1992 AT uyarmu protocolspecificationtestingandverificationxiiproceedingsoftheifiptc6wg61twelfthinternationalsymposiumonprotocolspecificationtestingandverificationlakebuenavistafloridausa2225june1992 |