Verfügbarkeit: Formal techniques for distributed systems

Formal techniques for distributed systems: joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2010
Schriftenreihe:	Lecture notes in computer science 6117
Schlagworte:	Formale Methode Verteiltes System Konferenzschrift > 2010 > Amsterdam
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	XII, 231 S. graph. Darst.
ISBN:	3642134637 9783642134630

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV036515374
003	DE-604
005	20100803
007	t\|
008	100622s2010 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 10N21 \|2 dnb
016	7		\|a 1002540356 \|2 DE-101
020			\|a 3642134637 \|c PB. : EUR 64.20 (freier Pr.), sfr 93.50 (freier Pr.) \|9 3-642-13463-7
020			\|a 9783642134630 \|c PB. : EUR 64.20 (freier Pr.), sfr 93.50 (freier Pr.) \|9 978-3-642-13463-0
035			\|a (OCoLC)699651627
035			\|a (DE-599)DNB1002540356
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 004.36 \|2 22/ger
084			\|a DAT 510f \|2 stub
084			\|a DAT 250f \|2 stub
084			\|a 004 \|2 sdnb
245	1	0	\|a Formal techniques for distributed systems \|b joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings \|c John Hatcliff ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2010
300			\|a XII, 231 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 6117
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verteiltes System \|0 (DE-588)4238872-7 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2010 \|z Amsterdam \|2 gnd-content
689	0	0	\|a Verteiltes System \|0 (DE-588)4238872-7 \|D s
689	0	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
700	1		\|a Hatcliff, John \|d 1966- \|e Sonstige \|0 (DE-588)12145083X \|4 oth
711	2		\|a FMOODS \|n 12 \|d 2010 \|c Amsterdam \|j Sonstige \|0 (DE-588)16070178-8 \|4 oth
711	2		\|a FORTE \|n 30 \|d 2010 \|c Amsterdam \|j Sonstige \|0 (DE-588)16070593-9 \|4 oth
830		0	\|a Lecture notes in computer science \|v 6117 \|w (DE-604)BV000000607 \|9 6117
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=020437502&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-020437502

Datensatz im Suchindex

_version_	1820875238443843584
adam_text	TABLE OF CONTENTS INVITED TALK FORMAL SOFTWARE VERIFICATION: HOW CLOSE ARE WE? (ABSTRACT) 1 GERARD J. HOLZMANN FORMAL UML MODELING EXPLOITING THE HIERARCHICAL STRUCTURE OF RULE-BASED SPECIFICATIONS FOR DECISION PLANNING 2 ARTUR BORONAT, ROBERTO BRUNI, ALBERTO LLUCH LAFUENTE, UGO MONTANARI, AND GENEROSO PAOLILLO REACTIVE SEMANTICS FOR DISTRIBUTED UML ACTIVITIES 17 FRANK ALEXANDER KRAEMER AND PETER HERRMANN COMPONENTS AND ARCHITECTURE STATISTICAL ABSTRACTION AND MODEL-CHECKING OF LARGE HETEROGENEOUS SYSTEMS 32 ANANDA BASU, SADDEK BENSALEM, MARIUS BOZGA, BENOIT CAILLAUD, BENOIT DELAHAYE, AND AXEL LEGAY FORMAL SEMANTICS AND ANALYSIS OF BEHAVIORAL AADL MODELS IN REAL-TIME MAUDE 47 PETER CSABA OLVECZKY, ARTUR BORONAT, AND JOSE MESEGUER TESTING PROBABILISTIC DISTRIBUTED SYSTEMS 63 ROBERT M. HIERONS AND MANUEL NUNEZ SPECIFICATION AND TESTING OF E-COMMERCE AGENTS DESCRIBED BY USING UIOLTSS 78 JUAN JOSE PARDO, MANUEL NUNEZ, AND M. CARMEN RUIZ TESTING ATTRIBUTE-BASED TRANSACTIONS IN SOC 87 LAURA BOCCHI AND EMILIO TUOSTO JOINT DISCOTEC SESSION GROUPING NODES IN WIRELESS SENSOR NETWORKS USING COALITIONAL GAME THEORY 95 FATEMEH KAZEMEYNI, EINAR BROCH JOHNSEN, OLAF OWE, AND ILANGKO BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1002540356 DIGITALISIERT DURCH . 233 XII TABLE OF CONTENTS TIMED PROCESS ALGEBRA FORGETTING THE TIME IN TIMED PROCESS ALGEBRA: TIMELESS BEHAVIOUR IN A TIMESTAMPED WORLD 110 ANTON WIJS THEORY AND IMPLEMENTATION OF A REAL-TIME EXTENSION TO THE 7R-CALCULUS 125 ERNESTO POSSE AND JUERGEN DINGEL TIMED AND HYBRID AUTOMATA FUZZY-TIMED AUTOMATA 140 F. JAVIER CRESPO, ALBERTO DE LA ENCINA, AND LUIS LIANA MODEL CHECKING OF HYBRID SYSTEMS USING SHALLOW SYNCHRONIZATION 155 LEI BU, ALESSANDRO CIMATTI, XUANDONG LI, SERGIO MOVER, AND STEFANO TONETTA PROGRAM LOGICS AND ANALYSIS HEAP-DEPENDENT EXPRESSIONS IN SEPARATION LOGIC 170 JAN SMANS, BART JACOBS, AND FRANK PIESSENS STATIC TYPE ANALYSIS OF PATTERN MATCHING BY ABSTRACT INTERPRETATION . 186 PIETRO FERRARA REASONING ABOUT DISTRIBUTED SYSTEMS ON-THE-FLY TRACE GENERATION AND TEXTUAL TRACE ANALYSIS AND THEIR APPLICATIONS TO THE ANALYSIS OF CRYPTOGRAPHIC PROTOCOLS 201 YONGYUTH PERMPOONTANALARP ON EFFICIENT MODELS FOR MODEL CHECKING MESSAGE-PASSING DISTRIBUTED PROTOCOLS 216 PETER BOKOR, MARCO SERAFINI, AND NEERAJ SURI LOGICS FOR CONTRAVARIANT SIMULATIONS 224 IGNACIO FABREGAS, DAVID DE FRUTOS ESCRIG, AND MIGUEL PALOMINO AUTHOR INDEX
any_adam_object	1
author_GND	(DE-588)12145083X
building	Verbundindex
bvnumber	BV036515374
classification_rvk	SS 4800
classification_tum	DAT 510f DAT 250f
ctrlnum	(OCoLC)699651627 (DE-599)DNB1002540356
dewey-full	004.36
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.36
dewey-search	004.36
dewey-sort	14.36
dewey-tens	000 - Computer science, information, general works
discipline	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">BV036515374</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100803</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">100622s2010 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10N21</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1002540356</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642134637</subfield><subfield code="c">PB. : EUR 64.20 (freier Pr.), sfr 93.50 (freier Pr.)</subfield><subfield code="9">3-642-13463-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642134630</subfield><subfield code="c">PB. : EUR 64.20 (freier Pr.), sfr 93.50 (freier Pr.)</subfield><subfield code="9">978-3-642-13463-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699651627</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1002540356</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">004.36</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 250f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal techniques for distributed systems</subfield><subfield code="b">joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings</subfield><subfield code="c">John Hatcliff ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 231 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">6117</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">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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Amsterdam</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hatcliff, John</subfield><subfield code="d">1966-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)12145083X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FMOODS</subfield><subfield code="n">12</subfield><subfield code="d">2010</subfield><subfield code="c">Amsterdam</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16070178-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FORTE</subfield><subfield code="n">30</subfield><subfield code="d">2010</subfield><subfield code="c">Amsterdam</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16070593-9</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">6117</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6117</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=020437502&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-020437502</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2010 Amsterdam gnd-content
genre_facet	Konferenzschrift 2010 Amsterdam
id	DE-604.BV036515374
illustrated	Illustrated
indexdate	2025-01-10T15:12:27Z
institution	BVB
institution_GND	(DE-588)16070178-8 (DE-588)16070593-9
isbn	3642134637 9783642134630
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020437502
oclc_num	699651627
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	XII, 231 S. graph. Darst.
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Formal techniques for distributed systems joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings John Hatcliff ... (eds.) Berlin [u.a.] Springer 2010 XII, 231 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6117 Formale Methode (DE-588)4333722-3 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Amsterdam gnd-content Verteiltes System (DE-588)4238872-7 s Formale Methode (DE-588)4333722-3 s DE-604 Hatcliff, John 1966- Sonstige (DE-588)12145083X oth FMOODS 12 2010 Amsterdam Sonstige (DE-588)16070178-8 oth FORTE 30 2010 Amsterdam Sonstige (DE-588)16070593-9 oth Lecture notes in computer science 6117 (DE-604)BV000000607 6117 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020437502&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Formal techniques for distributed systems joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Verteiltes System (DE-588)4238872-7 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4238872-7 (DE-588)1071861417
title	Formal techniques for distributed systems joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings
title_auth	Formal techniques for distributed systems joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings
title_exact_search	Formal techniques for distributed systems joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings
title_full	Formal techniques for distributed systems joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings John Hatcliff ... (eds.)
title_fullStr	Formal techniques for distributed systems joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings John Hatcliff ... (eds.)
title_full_unstemmed	Formal techniques for distributed systems joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings John Hatcliff ... (eds.)
title_short	Formal techniques for distributed systems
title_sort	formal techniques for distributed systems joint 12th ifip wg 6 1 international conference fmoods 2010 and 30th ifip wg 6 1 international conference forte 2010 amsterdam the netherlands june 7 9 2010 proceedings
title_sub	joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings
topic	Formale Methode (DE-588)4333722-3 gnd Verteiltes System (DE-588)4238872-7 gnd
topic_facet	Formale Methode Verteiltes System Konferenzschrift 2010 Amsterdam
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020437502&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT hatcliffjohn formaltechniquesfordistributedsystemsjoint12thifipwg61internationalconferencefmoods2010and30thifipwg61internationalconferenceforte2010amsterdamthenetherlandsjune792010proceedings AT fmoodsamsterdam formaltechniquesfordistributedsystemsjoint12thifipwg61internationalconferencefmoods2010and30thifipwg61internationalconferenceforte2010amsterdamthenetherlandsjune792010proceedings AT forteamsterdam formaltechniquesfordistributedsystemsjoint12thifipwg61internationalconferencefmoods2010and30thifipwg61internationalconferenceforte2010amsterdamthenetherlandsjune792010proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge