Formale Beschreibungstechniken für verteilte Systeme:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | German |
| Veröffentlicht: |
Erlangen
Inst. für Mathematische Maschinen und Datenverarbeitung (Informatik)
1996
|
| Schriftenreihe: | Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik)
29,9 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 174 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010992790 | ||
| 003 | DE-604 | ||
| 005 | 19961212 | ||
| 007 | t| | ||
| 008 | 961009s1996 xx d||| |||| 10||| ger d | ||
| 035 | |a (OCoLC)68551291 | ||
| 035 | |a (DE-599)BVBBV010992790 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-12 |a DE-91G |a DE-29 |a DE-29T |a DE-739 |a DE-703 |a DE-83 |a DE-188 | ||
| 084 | |a ST 200 |0 (DE-625)143611: |2 rvk | ||
| 084 | |a DAT 250d |2 stub | ||
| 084 | |a DAT 335d |2 stub | ||
| 245 | 1 | 0 | |a Formale Beschreibungstechniken für verteilte Systeme |c Herzog, U. ... (Hrsg.) |
| 264 | 1 | |a Erlangen |b Inst. für Mathematische Maschinen und Datenverarbeitung (Informatik) |c 1996 | |
| 300 | |a 174 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) |v 29,9 | |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1996 |z Erlangen |2 gnd-content | |
| 689 | 0 | 0 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 0 | 1 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Herzog, Ulrich |e Sonstige |4 oth | |
| 830 | 0 | |a Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) |v 29,9 |w (DE-604)BV004860307 |9 29,9 | |
| 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=007357797&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007357797 | |
Datensatz im Suchindex
| _version_ | 1820875843687153664 |
|---|---|
| adam_text |
Inhalt
I
Leistungsbewertung
Performance Evaluation
of SDL/MSC-specified systems
W.
Duk.
5
Verifikation von Leistungsanforderongen an Kommunikationsysteme mit der Methode QSDL
M. Diefenbruch.15
Stochastische
Prozeßalgebren mit zeitlosen Übergängen und probabilistischen Verzweigungen
M. Rettelbach.25
Π
Echtzeitsysteme
The Rsal-Time
Behaviour of a Production Cell
J.
Cuelłar
.35
Spezifikation von Multimediasystemen mit
Real-Tîme Estelle
S. Fischer.45
Ш
Temporale Logik und BDDs
Zeugen bei der CTL'-Modeilprüfung
A.Kick.55
Verifikation temporallogischer Spezifikationen kommunizierender sequentieller Prozesse mit binären
Entschektangsdiagramrnen
R. lichtenecker.65
Effiziente ¿¿-Kalkül Modellpriifung mit BDDs
A. Bien
.75
IV
Spezifikatkmsmethodik
Action
Refinement
in System
Specification: Comparing a Process Algebraic and an Object-Based Ap¬
proach
M.
Huhn,
H.
ШНгеіт,
G.
Denker.77
Towards Open
Estette
Я.
Cotzhein
F. Roßler, J,
Thees
.89
À
fönaal
method for event-triggered sequential systems
C. Petersohn
.99
V
Testen
Quality-of-Service
Testing
Specifying Functional QoS Testing Requirements by using Message Se¬
quence Charts and TTCN
J. Grabowski, T. Walter
.109
Formal Based Testing of ATM Signalling
I. Schieferdecker, A. Rennoch
.119
VI
Effiziente Implementierung
FDT-Based Development of Parallel
Real-Time
Systems
A Mitschele-Thiel
.129
Ableitung paralleler Teilwege optimierender ProtokoHimplementationen aus SDL-Spezifikationen
P. Langendörfer.139
VII
Werkzeugunterstützung und Algorithmen
Dealing with the complexity of state space exploration algorithms for SDL systems
J. Grabowski, D. Hogrefe, R. Schemer, D. Toggweiler
.149
Verbindung zwischen Statecharts und TLA zur Spezifikation verteilter Systeme
A Mester,
V.
Mattick.159
AutoFocus - Ein Werkzeug zur Beschreibung verteilter Systeme
F. Huber, B. Schätz, K.
Spies
.165 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010992790 |
| classification_rvk | ST 200 |
| classification_tum | DAT 250d DAT 335d |
| ctrlnum | (OCoLC)68551291 (DE-599)BVBBV010992790 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010992790</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19961212</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">961009s1996 xx d||| |||| 10||| ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)68551291</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010992790</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 200</subfield><subfield code="0">(DE-625)143611:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 250d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formale Beschreibungstechniken für verteilte Systeme</subfield><subfield code="c">Herzog, U. ... (Hrsg.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Erlangen</subfield><subfield code="b">Inst. für Mathematische Maschinen und Datenverarbeitung (Informatik)</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">174 S.</subfield><subfield code="b">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="490" ind1="1" ind2=" "><subfield code="a">Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik)</subfield><subfield code="v">29,9</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1996</subfield><subfield code="z">Erlangen</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Herzog, Ulrich</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik)</subfield><subfield code="v">29,9</subfield><subfield code="w">(DE-604)BV004860307</subfield><subfield code="9">29,9</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=007357797&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007357797</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1996 Erlangen gnd-content |
| genre_facet | Konferenzschrift 1996 Erlangen |
| id | DE-604.BV010992790 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:22:05Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007357797 |
| oclc_num | 68551291 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-29 DE-29T DE-739 DE-703 DE-83 DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-29 DE-29T DE-739 DE-703 DE-83 DE-188 |
| physical | 174 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Inst. für Mathematische Maschinen und Datenverarbeitung (Informatik) |
| record_format | marc |
| series | Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) |
| series2 | Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) |
| spelling | Formale Beschreibungstechniken für verteilte Systeme Herzog, U. ... (Hrsg.) Erlangen Inst. für Mathematische Maschinen und Datenverarbeitung (Informatik) 1996 174 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) 29,9 Verteiltes System (DE-588)4238872-7 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1996 Erlangen gnd-content Formale Spezifikationstechnik (DE-588)4299725-2 s Verteiltes System (DE-588)4238872-7 s DE-604 Herzog, Ulrich Sonstige oth Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) 29,9 (DE-604)BV004860307 29,9 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007357797&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formale Beschreibungstechniken für verteilte Systeme Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) Verteiltes System (DE-588)4238872-7 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd |
| subject_GND | (DE-588)4238872-7 (DE-588)4299725-2 (DE-588)1071861417 |
| title | Formale Beschreibungstechniken für verteilte Systeme |
| title_auth | Formale Beschreibungstechniken für verteilte Systeme |
| title_exact_search | Formale Beschreibungstechniken für verteilte Systeme |
| title_full | Formale Beschreibungstechniken für verteilte Systeme Herzog, U. ... (Hrsg.) |
| title_fullStr | Formale Beschreibungstechniken für verteilte Systeme Herzog, U. ... (Hrsg.) |
| title_full_unstemmed | Formale Beschreibungstechniken für verteilte Systeme Herzog, U. ... (Hrsg.) |
| title_short | Formale Beschreibungstechniken für verteilte Systeme |
| title_sort | formale beschreibungstechniken fur verteilte systeme |
| topic | Verteiltes System (DE-588)4238872-7 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd |
| topic_facet | Verteiltes System Formale Spezifikationstechnik Konferenzschrift 1996 Erlangen |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007357797&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV004860307 |
| work_keys_str_mv | AT herzogulrich formalebeschreibungstechnikenfurverteiltesysteme |