Runtime verification: 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007 ; revised selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2007
|
| Schriftenreihe: | Lecture Notes in Computer Science
4839 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Falsche Schreibweise des Konferenzortes auf dem Umschlag und auf dem Titelblatt (Vancover statt Vancouver) |
| Beschreibung: | VIII, 213 S. graph. Darst. |
| ISBN: | 9783540773948 3540773940 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV023056755 | ||
| 003 | DE-604 | ||
| 005 | 20240526 | ||
| 007 | t| | ||
| 008 | 071218s2007 xx d||| |||| 10||| eng d | ||
| 016 | 7 | |a 986857556 |2 DE-101 | |
| 020 | |a 9783540773948 |c : EUR 44.94 (freier Pr.), sfr 73.50 (freier Pr.) |9 978-3-540-77394-8 | ||
| 020 | |a 3540773940 |c : EUR 44.94 (freier Pr.), sfr 73.50 (freier Pr.) |9 3-540-77394-0 | ||
| 024 | 3 | |a 9783540773948 | |
| 028 | 5 | 2 | |a 12208111 |
| 035 | |a (OCoLC)254650785 | ||
| 035 | |a (DE-599)DNB986857556 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 | ||
| 082 | 0 | |a 005.131 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Runtime verification |b 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007 ; revised selected papers |c O. Sokolsky ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2007 | |
| 300 | |a VIII, 213 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 4839 | |
| 500 | |a Falsche Schreibweise des Konferenzortes auf dem Umschlag und auf dem Titelblatt (Vancover statt Vancouver) | ||
| 650 | 4 | |a Echtzeitverarbeitung - Verifikation - Kongress - Vancouver <British Columbia, 2007> | |
| 650 | 4 | |a Software - Model Checking - Kongress - Vancouver <British Columbia, 2007> | |
| 650 | 4 | |a Software - Testen - Formale Methode - Kongress - Vancouver <British Columbia, 2007> | |
| 650 | 4 | |a Softwareentwicklung - Programmtest - Korrektheit - Beweis - Kongress - Vancouver <British Columbia, 2007> | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Echtzeitverarbeitung |0 (DE-588)4151002-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweis |0 (DE-588)4132532-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Korrektheit |0 (DE-588)4240223-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2007 |z Vancouver British Columbia |2 gnd-content | |
| 689 | 0 | 0 | |a Echtzeitverarbeitung |0 (DE-588)4151002-1 |D s |
| 689 | 0 | 1 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 1 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 2 | 1 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 2 | 2 | |a Korrektheit |0 (DE-588)4240223-2 |D s |
| 689 | 2 | 3 | |a Beweis |0 (DE-588)4132532-1 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 3 | 1 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Sokolsky, Oleg |e Sonstige |0 (DE-588)1197573399 |4 oth | |
| 711 | 2 | |a International Workshop on Runtime Verification |n 7 |d 2007 |c Vancouver, British Columbia |j Sonstige |0 (DE-588)6069449-X |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 4839 |w (DE-604)BV000000607 |9 4839 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016260038&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016260038 | |
Datensatz im Suchindex
| _version_ | 1820875033542656000 |
|---|---|
| adam_text |
TABL
E OF CONTENT
S
INVITE
D PAPE
R
PSL FOR RUNTIME VERIFICATION: THEORY AND PRACTICE 1
CINDY EISNER
AOP-RELATE
D PAPER
S
ON TH
E SEMANTICS OF MATCHING TRACE MONITORING PATTERN
S 9
PAVEL AVGUSTINOV, JULIAN TIBBLE, AND OEGE DE MOOR
COLLABORATIVE RUNTIME VERIFICATION WITH TRACEMATCHES 22
ERIC BODDEN, LAUNE HENDREN, PATRICK LARA, ONDFEJ LHOTDK, AND
NOMAIR A. NAEEM
STATI
C AND DYNAMIC DETECTION OF BEHAVIORAL CONFLICTS BETWEEN
ASPECTS 38
PASCAL DUERR, LODEWIJK BERGMANS, AND MEHMET AKSIT
ESCAPING WITH FUTURE VARIABLES IN HALO 51
CHARLOTTE HERZEEL, KRIS GYBELS, AND PASCAL COSTANZA
RUNTIME VERIFICATION OF INTERACTIONS: FROM MSCS T
O ASPECTS 63
INGOLF H. KRUEGER, MICHAEL MEISINGER, AND MASSIMILIANO MENARINI
TOWARDS A TOOL FOR GENERATING ASPECTS FROM MEDL AND PEDL
SPECIFICATIONS FOR RUNTIME VERIFICATION 75
OMAR OCHOA, IRBIS GALLEGOS, STEVE ROACH, AND ANN GATES
ARVE: ASPECT-ORIENTED RUNTIME VERIFICATION ENVIRONMENT 87
HIROMASA SHIN, YUSUKE ENDOH, AND YOSHIO KATAOKA
COR
E RUNTIM
E VERIFICATION PAPER
S
FROM RUNTIME VERIFICATION TO EVOLVABLE SYSTEMS 97
HOWARD BARRINGER, DOV GABBAY, AND DAVID RYDEHEARD
RULE SYSTEMS FOR RUN-TIME MONITORING: FROM
EAGL
E
T
O
RULE
R
111
HOWARD BARRINGER, DAVID RYDEHEARD, AND KLAUS HAVELUND
TH
E GOOD, TH
E BAD, AND TH
E UGLY, BUT HOW UGLY IS UGLY? 126
ANDREAS BAUER, MARTIN LEUCKER, AND CHRISTIAN SCHALLHART
TRANSLATION VALIDATION OF SYSTEM ABSTRACTIONS 139
JAN OLAF BLECH, INA SCHAEFER, AND ARND POETZSCH-HEFFTER
GESCANNT DURCH
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/986857556
DIGITALISIERT DURCH
VIII TABLE OF CONTENTS
INSTRUMENTATIO
N OF OPEN-SOURCE SOFTWARE FOR INTRUSION DETECTION 151
WILLIAM MAHONEY AND WILLIAM SOUSAN
STATISTICA
L RUNTIM
E CHECKING OF PROBABILISTIC PROPERTIE
S 164
USA SAMMAPUN, INSUP LEE, OLEG SOKOLSKY, AND JOHN REGEHR
TEMPORAL ASSERTIONS WITH PARAMETRISE
D PROPOSITIONS 176
VOLKER STOLZ
ROLLBACK ATOMICITY 188
SERDAR TASIRAN AND TAYFUN ELMAS
RUNTIM
E CHECKING FOR PROGRA
M VERIFICATION 202
KAREN ZEE, VIKTOR KUNCAK, MICHAEL TAYLOR, AND MARTIN RINARD
AUTHOR INDEX
215 |
| adam_txt | |
| any_adam_object | 1 |
| any_adam_object_boolean | |
| author_GND | (DE-588)1197573399 |
| building | Verbundindex |
| bvnumber | BV023056755 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 325f |
| ctrlnum | (OCoLC)254650785 (DE-599)DNB986857556 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Conference Proceeding 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">BV023056755</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240526</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">071218s2007 xx d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">986857556</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540773948</subfield><subfield code="c">: EUR 44.94 (freier Pr.), sfr 73.50 (freier Pr.)</subfield><subfield code="9">978-3-540-77394-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540773940</subfield><subfield code="c">: EUR 44.94 (freier Pr.), sfr 73.50 (freier Pr.)</subfield><subfield code="9">3-540-77394-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540773948</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12208111</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)254650785</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB986857556</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-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Runtime verification</subfield><subfield code="b">7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007 ; revised selected papers</subfield><subfield code="c">O. Sokolsky ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 213 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">Lecture Notes in Computer Science</subfield><subfield code="v">4839</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Falsche Schreibweise des Konferenzortes auf dem Umschlag und auf dem Titelblatt (Vancover statt Vancouver)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Echtzeitverarbeitung - Verifikation - Kongress - Vancouver <British Columbia, 2007></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software - Model Checking - Kongress - Vancouver <British Columbia, 2007></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software - Testen - Formale Methode - Kongress - Vancouver <British Columbia, 2007></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwareentwicklung - Programmtest - Korrektheit - Beweis - Kongress - Vancouver <British Columbia, 2007></subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitverarbeitung</subfield><subfield code="0">(DE-588)4151002-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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">2007</subfield><subfield code="z">Vancouver British Columbia</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Echtzeitverarbeitung</subfield><subfield code="0">(DE-588)4151002-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="3"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sokolsky, Oleg</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1197573399</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop on Runtime Verification</subfield><subfield code="n">7</subfield><subfield code="d">2007</subfield><subfield code="c">Vancouver, British Columbia</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6069449-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">4839</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">4839</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=016260038&sequence=000001&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-016260038</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2007 Vancouver British Columbia gnd-content |
| genre_facet | Konferenzschrift 2007 Vancouver British Columbia |
| id | DE-604.BV023056755 |
| illustrated | Illustrated |
| index_date | 2024-07-02T19:27:04Z |
| indexdate | 2025-01-10T15:09:12Z |
| institution | BVB |
| institution_GND | (DE-588)6069449-X |
| isbn | 9783540773948 3540773940 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016260038 |
| oclc_num | 254650785 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 |
| physical | VIII, 213 S. graph. Darst. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Runtime verification 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007 ; revised selected papers O. Sokolsky ... (eds.) Berlin [u.a.] Springer 2007 VIII, 213 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 4839 Falsche Schreibweise des Konferenzortes auf dem Umschlag und auf dem Titelblatt (Vancover statt Vancouver) Echtzeitverarbeitung - Verifikation - Kongress - Vancouver <British Columbia, 2007> Software - Model Checking - Kongress - Vancouver <British Columbia, 2007> Software - Testen - Formale Methode - Kongress - Vancouver <British Columbia, 2007> Softwareentwicklung - Programmtest - Korrektheit - Beweis - Kongress - Vancouver <British Columbia, 2007> Formale Methode (DE-588)4333722-3 gnd rswk-swf Echtzeitverarbeitung (DE-588)4151002-1 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Korrektheit (DE-588)4240223-2 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2007 Vancouver British Columbia gnd-content Echtzeitverarbeitung (DE-588)4151002-1 s Verifikation (DE-588)4135577-5 s DE-604 Softwaretest (DE-588)4132652-0 s Formale Methode (DE-588)4333722-3 s Softwareentwicklung (DE-588)4116522-6 s Korrektheit (DE-588)4240223-2 s Beweis (DE-588)4132532-1 s Software (DE-588)4055382-6 s Model Checking (DE-588)4434799-6 s Sokolsky, Oleg Sonstige (DE-588)1197573399 oth International Workshop on Runtime Verification 7 2007 Vancouver, British Columbia Sonstige (DE-588)6069449-X oth Lecture Notes in Computer Science 4839 (DE-604)BV000000607 4839 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016260038&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Runtime verification 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007 ; revised selected papers Lecture Notes in Computer Science Echtzeitverarbeitung - Verifikation - Kongress - Vancouver <British Columbia, 2007> Software - Model Checking - Kongress - Vancouver <British Columbia, 2007> Software - Testen - Formale Methode - Kongress - Vancouver <British Columbia, 2007> Softwareentwicklung - Programmtest - Korrektheit - Beweis - Kongress - Vancouver <British Columbia, 2007> Formale Methode (DE-588)4333722-3 gnd Echtzeitverarbeitung (DE-588)4151002-1 gnd Software (DE-588)4055382-6 gnd Beweis (DE-588)4132532-1 gnd Softwareentwicklung (DE-588)4116522-6 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Korrektheit (DE-588)4240223-2 gnd Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4151002-1 (DE-588)4055382-6 (DE-588)4132532-1 (DE-588)4116522-6 (DE-588)4434799-6 (DE-588)4132652-0 (DE-588)4240223-2 (DE-588)4135577-5 (DE-588)1071861417 |
| title | Runtime verification 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007 ; revised selected papers |
| title_auth | Runtime verification 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007 ; revised selected papers |
| title_exact_search | Runtime verification 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007 ; revised selected papers |
| title_exact_search_txtP | Runtime verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007 ; revised selected papers |
| title_full | Runtime verification 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007 ; revised selected papers O. Sokolsky ... (eds.) |
| title_fullStr | Runtime verification 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007 ; revised selected papers O. Sokolsky ... (eds.) |
| title_full_unstemmed | Runtime verification 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007 ; revised selected papers O. Sokolsky ... (eds.) |
| title_short | Runtime verification |
| title_sort | runtime verification 7th international workshop rv 2007 vancouver canada march 13 2007 revised selected papers |
| title_sub | 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007 ; revised selected papers |
| topic | Echtzeitverarbeitung - Verifikation - Kongress - Vancouver <British Columbia, 2007> Software - Model Checking - Kongress - Vancouver <British Columbia, 2007> Software - Testen - Formale Methode - Kongress - Vancouver <British Columbia, 2007> Softwareentwicklung - Programmtest - Korrektheit - Beweis - Kongress - Vancouver <British Columbia, 2007> Formale Methode (DE-588)4333722-3 gnd Echtzeitverarbeitung (DE-588)4151002-1 gnd Software (DE-588)4055382-6 gnd Beweis (DE-588)4132532-1 gnd Softwareentwicklung (DE-588)4116522-6 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Korrektheit (DE-588)4240223-2 gnd Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Echtzeitverarbeitung - Verifikation - Kongress - Vancouver <British Columbia, 2007> Software - Model Checking - Kongress - Vancouver <British Columbia, 2007> Software - Testen - Formale Methode - Kongress - Vancouver <British Columbia, 2007> Softwareentwicklung - Programmtest - Korrektheit - Beweis - Kongress - Vancouver <British Columbia, 2007> Formale Methode Echtzeitverarbeitung Software Beweis Softwareentwicklung Model Checking Softwaretest Korrektheit Verifikation Konferenzschrift 2007 Vancouver British Columbia |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016260038&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT sokolskyoleg runtimeverification7thinternationalworkshoprv2007vancouvercanadamarch132007revisedselectedpapers AT internationalworkshoponruntimeverificationvancouverbritishcolumbia runtimeverification7thinternationalworkshoprv2007vancouvercanadamarch132007revisedselectedpapers |