Protocol specification, testing and verification XV: proceedings of the fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995
Gespeichert in:
Format: | Tagungsbericht Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
London [u.a.]
Chapman & Hall
1996
|
Ausgabe: | 1. ed. |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | VII, 455 S. Ill., graph. Darst. |
ISBN: | 0412716208 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV010699750 | ||
003 | DE-604 | ||
005 | 20080718 | ||
007 | t | ||
008 | 960403s1996 ad|| |||| 10||| eng d | ||
020 | |a 0412716208 |9 0-412-71620-8 | ||
035 | |a (OCoLC)33969952 | ||
035 | |a (DE-599)BVBBV010699750 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-739 |a DE-91G |a DE-19 |a DE-11 | ||
050 | 0 | |a TK5105.5 | |
082 | 0 | |a 004.62 |2 20 | |
084 | |a SS 1995 |0 (DE-625)143432: |2 rvk | ||
084 | |a DAT 252f |2 stub | ||
245 | 1 | 0 | |a Protocol specification, testing and verification XV |b proceedings of the fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 |c ed. by Piotr Dembiński ... |
250 | |a 1. ed. | ||
264 | 1 | |a London [u.a.] |b Chapman & Hall |c 1996 | |
300 | |a VII, 455 S. |b Ill., graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
650 | 4 | |a Computers - Networks - Protocols | |
650 | 7 | |a Protocoles de réseaux d'ordinateurs - Congrès |2 ram | |
650 | 7 | |a Protocollen (informatica) |2 gtt | |
650 | 4 | |a Computer network protocols |x Congresses | |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
700 | 1 | |a Dembiński, Piotr |e Sonstige |4 oth | |
711 | 2 | |a International Symposium on Protocol Specification, Testing, and Verification |n 15 |d 1995 |c Warschau |j Sonstige |0 (DE-588)5173060-1 |4 oth | |
856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007141549&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-007141549 |
Datensatz im Suchindex
_version_ | 1804125176708726784 |
---|---|
adam_text | CONTENTS
Preface
ix
Committee Members and Invited Speakers
χ
List of Referees
xi
PART ONE Specification and Verification: Time-dependent Analysis
1
Simple on-the-fly automatic verification of linear temporal logic
R. Gerth, D. Peled, M. Y. Vardi and P. Wolper
3
2
Specifying real-time requirements for SDL specifications
-
a temporal logic-based approach
S. Leue
19
3
A temporal reachability analysis
L
Cacciari and O. Rafiq
3 5
Invited Paper
4
True versus artificial concurrency
A. Mazurkiewicz
53
PART TWO Specification of Concurrent Systems
5 On
compositionality and
Petri
nets in protocol engineering
N.A. Anisimov and M.
Koutný
71
6
Composition of LOTOS specifications
M.WA.
Steen,
H.
Bowman and J. Derrick
87
PART THREE Testing
7
Principles for validation of abstract test suites specified in concurrent TTCN
M.
Törd
and K. Tarnay
105
8
An approach to testing distributed software systems
A.
Ulrich
and S.T. Chanson
121
9
Modeling basic LOTOS by FSMs for conformance testing
Q.M. Tan, A. Petrenko and G.v. Bochmann
137
PART FOUR Specification and Verification: Temporal Approach
10
The specification and verification of an experimental ATM signalling
protocol
D. Barnard and S. Crosby
155
11
Re-usable verification elements for high-speed transfer protocol
configurations
P. Herrmann andH.
Krumm 171
vi
Contents
12
An algebraic-temporal
specification of
a CSMA/CD-protocol
M. Jmaiel
187
PART
FIVE
Validation
and Testing
13
Validation,
verification and implemantaion of timed protocols using AORTA
S.
Bradley, W.D. Henderson, D. Kendall and A.P. Robson
205
14
Validation in context
L
Heerink and E. Brinksma
221
5
S
Characterizing termination in LOTOS via testing
D. de Frutos, Aí.
Núñez and
J.
Quemada
237
PART SK
Specification and Analysis
16
Quantified reduced views of state graphs using Markovian and timed
observational equivalence
K. Drira, Y. Atamna and G.
Juanole 2S3
17
SDL and
Petri
net performance analysis of communicating systems
F. Bouse, H. Kabutz, P. Kemper and P. Kritzinger
269
18
On the introduction of gate typing in E-LOTOS
H. Garavel
283
PART SEVEN Verification: Model Checking
19
An analysis of bitstate hashing
G.J.
Holzmann 301
20
Using asynchronous
Buchi
automata for efficient automatic verification
of concurrent systems
D. Peled and W. Penczek
315
21
A method to build symbolic representations of LOTOS specifications
R. Sisto
331
Invited Paper
22
Formal design of cooperative systems
M. Diaz, T.
Viile/nur
and F. Vernadat
349
PART EIGHT High Speed /Multimedia
23
On the suitability of
Estelle
for multimedia systems
S. Fischer
369
24
Protocol analysis and verification methods, application to the Xpress
Transfer Protocol
4.0
O. Catrina
385
PART NINE
Toi
25
PARES
-
a portable parallel
Estelle
compiler
R.
Пто, Т.
Held and H. Koenig
403
Contents
vii
26
A methodology for the implementation of protocols in hardware from a
formal description
L
Pirmez, A. Pedroza and
A. Mesquita
419
27
Hardware specification generated from
Estelle
J.
Wytrębowicz
435
Index of contributors
4SI
Keyword index
453
|
any_adam_object | 1 |
building | Verbundindex |
bvnumber | BV010699750 |
callnumber-first | T - Technology |
callnumber-label | TK5105 |
callnumber-raw | TK5105.5 |
callnumber-search | TK5105.5 |
callnumber-sort | TK 45105.5 |
callnumber-subject | TK - Electrical and Nuclear Engineering |
classification_rvk | SS 1995 |
classification_tum | DAT 252f |
ctrlnum | (OCoLC)33969952 (DE-599)BVBBV010699750 |
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 |
edition | 1. ed. |
format | Conference Proceeding Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01753nam a2200397 c 4500</leader><controlfield tag="001">BV010699750</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080718 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960403s1996 ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0412716208</subfield><subfield code="9">0-412-71620-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33969952</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010699750</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK5105.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.62</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1995</subfield><subfield code="0">(DE-625)143432:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 252f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Protocol specification, testing and verification XV</subfield><subfield code="b">proceedings of the fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995</subfield><subfield code="c">ed. by Piotr Dembiński ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Chapman & Hall</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 455 S.</subfield><subfield code="b">Ill., graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers - Networks - Protocols</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Protocoles de réseaux d'ordinateurs - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Protocollen (informatica)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer network protocols</subfield><subfield code="x">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">Dembiński, Piotr</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Symposium on Protocol Specification, Testing, and Verification</subfield><subfield code="n">15</subfield><subfield code="d">1995</subfield><subfield code="c">Warschau</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5173060-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007141549&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007141549</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift gnd-content |
genre_facet | Konferenzschrift |
id | DE-604.BV010699750 |
illustrated | Illustrated |
indexdate | 2024-07-09T17:57:24Z |
institution | BVB |
institution_GND | (DE-588)5173060-1 |
isbn | 0412716208 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007141549 |
oclc_num | 33969952 |
open_access_boolean | |
owner | DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-11 |
owner_facet | DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-11 |
physical | VII, 455 S. Ill., graph. Darst. |
publishDate | 1996 |
publishDateSearch | 1996 |
publishDateSort | 1996 |
publisher | Chapman & Hall |
record_format | marc |
spelling | Protocol specification, testing and verification XV proceedings of the fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 ed. by Piotr Dembiński ... 1. ed. London [u.a.] Chapman & Hall 1996 VII, 455 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Computers - Networks - Protocols Protocoles de réseaux d'ordinateurs - Congrès ram Protocollen (informatica) gtt Computer network protocols Congresses (DE-588)1071861417 Konferenzschrift gnd-content Dembiński, Piotr Sonstige oth International Symposium on Protocol Specification, Testing, and Verification 15 1995 Warschau Sonstige (DE-588)5173060-1 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007141549&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Protocol specification, testing and verification XV proceedings of the fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 Computers - Networks - Protocols Protocoles de réseaux d'ordinateurs - Congrès ram Protocollen (informatica) gtt Computer network protocols Congresses |
subject_GND | (DE-588)1071861417 |
title | Protocol specification, testing and verification XV proceedings of the fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 |
title_auth | Protocol specification, testing and verification XV proceedings of the fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 |
title_exact_search | Protocol specification, testing and verification XV proceedings of the fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 |
title_full | Protocol specification, testing and verification XV proceedings of the fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 ed. by Piotr Dembiński ... |
title_fullStr | Protocol specification, testing and verification XV proceedings of the fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 ed. by Piotr Dembiński ... |
title_full_unstemmed | Protocol specification, testing and verification XV proceedings of the fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 ed. by Piotr Dembiński ... |
title_short | Protocol specification, testing and verification XV |
title_sort | protocol specification testing and verification xv proceedings of the fifteenth ifip wg6 1 international symposium on protocol specification testing and verification warsaw poland june 1995 |
title_sub | proceedings of the fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 |
topic | Computers - Networks - Protocols Protocoles de réseaux d'ordinateurs - Congrès ram Protocollen (informatica) gtt Computer network protocols Congresses |
topic_facet | Computers - Networks - Protocols Protocoles de réseaux d'ordinateurs - Congrès Protocollen (informatica) Computer network protocols Congresses Konferenzschrift |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007141549&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT dembinskipiotr protocolspecificationtestingandverificationxvproceedingsofthefifteenthifipwg61internationalsymposiumonprotocolspecificationtestingandverificationwarsawpolandjune1995 AT internationalsymposiumonprotocolspecificationtestingandverificationwarschau protocolspecificationtestingandverificationxvproceedingsofthefifteenthifipwg61internationalsymposiumonprotocolspecificationtestingandverificationwarsawpolandjune1995 |