Formal methods for components and objects: 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture notes in computer science
6957 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XI, 391 S. graph. Darst. 24 cm |
| ISBN: | 9783642252709 3642252702 9783642252716 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039784372 | ||
| 003 | DE-604 | ||
| 005 | 20120220 | ||
| 007 | t| | ||
| 008 | 120103s2011 xx d||| |||| 10||| eng d | ||
| 015 | |a 11,N42 |2 dnb | ||
| 015 | |a 12,A01 |2 dnb | ||
| 016 | 7 | |a 101610491X |2 DE-101 | |
| 020 | |a 9783642252709 |c kart. : ca. EUR 66.34 (DE) (freier Pr.), ca. EUR 68.20 (AT) (freier Pr.), ca. sfr 83.00 (freier Pr.) |9 978-3-642-25270-9 | ||
| 020 | |a 3642252702 |9 3-642-25270-2 | ||
| 020 | |a 9783642252716 |c eISBN |9 978-3-642-25271-6 | ||
| 024 | 3 | |a 9783642252709 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86007801 |
| 035 | |a (OCoLC)775073022 | ||
| 035 | |a (DE-599)DNB101610491X | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-83 |a DE-706 |a DE-11 | ||
| 082 | 0 | |a 005.11 |2 22/ger | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Formal methods for components and objects |b 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers |c Bernhard K. Aichernig ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a XI, 391 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6957 : State-of-the-art survey | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komponente |g Software |0 (DE-588)4439521-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Objektorientierung |0 (DE-588)4346172-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Graz |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 1 | 1 | |a Objektorientierung |0 (DE-588)4346172-4 |D s |
| 689 | 1 | 2 | |a Komponente |g Software |0 (DE-588)4439521-8 |D s |
| 689 | 1 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Aichernig, Bernhard K. |4 edt | |
| 711 | 2 | |a FMCO |n 9 |d 2010 |c Graz |j Sonstige |0 (DE-588)16333854-1 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Formal Methods for Components and Objects |
| 830 | 0 | |a Lecture notes in computer science |v 6957 |w (DE-604)BV000000607 |9 6957 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3896989&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 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=024645149&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024645149 | |
Datensatz im Suchindex
| _version_ | 1820875368641331200 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
THE AVANTSSAR PROJECT ASLAN-H A FORMAL SECURITY SPECIFICATION LANGUAGE
FOR DISTRIBUTED SYSTEMS 1
DAVID VON OHEIMB AND SEBASTIAN MOEDERSHEIM
ORCHESTRATION UNDER SECURITY CONSTRAINTS 23
YANNICK CHEVALIER, MOHAMED ANIS MEKKI, AND MICHAEL RUSINOWITCH
CUSTOMIZING PROTOCOL SPECIFICATIONS FOR DETECTING RESOURCE EXHAUSTION
AND GUESSING ATTACKS 45
BOGDAN GROZA AND MARIUS MINEA
THE ESF COST ACTION IC0701
IMPROVING THE USABILITY OF SPECIFICATION LANGUAGES AND METHODS FOR
ANNOTATION-BASED VERIFICATION 61
BERNHARD BECKERT, THORSTEN BORMER, AND VLADIMIR KLEBANOV
PROGRAM SPECIALIZATION VIA A SOFTWARE VERIFICATION TOOL 80 RICHARD
BUBEL, REINER HAEHNLE, AND RAN JI
THE DEPLOY PROJECT
MODEL-BASED ANALYSIS TOOLS FOR COMPONENT SYNTHESIS 102 LUIGIA PETRE,
KAISA SERE, AND LEONIDAS TSIOPOULOS
SHARED EVENT COMPOSITION/DECOMPOSITION IN EVENT-B 122 RENATO SILVA AND
MICHAEL BUTLER
THE HATS PROJECT
ABS: A CORE LANGUAGE FOR ABSTRACT BEHAVIORAL SPECIFICATION 142 EINAR
BROCH JOHNSEN, REINER HAEHNLE, JAN SCHAEFER, RUDOLF SCHLAUE, AND MARTIN
STEFFEN
A COMPONENT MODEL FOR THE ABS LANGUAGE 165
MICHAEL LIENHARDT, IVAN LANESE, MARIO BRAVETTI, DAVIDE SANGIORGI,
GIANLUIGI ZAVATTARO, YANNICK WELSCH, JAN SCHAEFER, AND ARND
POETZSCH-HEFFTER
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/101610491X
DIGITALISIERT DURCH
IMAGE 2
X TABLE OF CONTENTS
COMPOSITIONAL ALGORITHMIC VERIFICATION OF SOFTWARE PRODUCT LINES 184 INA
SCHAEFER, DILIAN GUROV, AND SIAVASH SOLEIMANIFARD
VARIABILITY MODELLING IN THE ABS LANGUAGE 204
DAVE CLARKE, RADU MUSCHEVICI, JOSE PROENCA, INA SCHAEFER, AND RUDOLF
SCHLATTE
THE INESS PROJECT
AUTOMATED VERIFICATION OF EXECUTABLE UML MODELS 225
HELLE HVID HANSEN, JEROEN KETEMA, BAS LUTTIK, MOHAMMADREZA MOUSAVI, JACO
VAN DE POL, AND OSMAR MARCHI DOS SANTOS
VERIFICATION OF UML MODELS BY TRANSLATION TO UML-B 251
COLIN SNOOK, VITALY SAVICKS, AND MICHAEL BUTLER
THE MADES PROJECT
TOWARDS THE UML-BASED FORMAL VERIFICATION OF TIMED SYSTEMS 267 LUCIANO
BARESI, ANGELO MORZENTI, ALFREDO MOTTA, AND MATTEO ROSSI
THE MOGENTES PROJECT
GENERIC FAULT MODELLING FOR FAULT INJECTION 287
RICKARD SVENNINGSSON, HENRIK ERIKSSON, JONNY VINTER, AND MARTIN TOERNGREN
TIGHTENING TEST COVERAGE METRICS: A CASE STUDY IN EQUIVALENCE CHECKING
USING FC-INDUCTION 297
ALASTAIR F. DONALDSON, NANNAN HE, DANIEL KROENING, AND PHILIPP RUMMER
THE MULTIFORM PROJECT
THE HIERARCHICAL COMPOSITIONAL INTERCHANGE FORMAT 316
DAMIAN NADALES AGUT, BERT VAN BEEK, HARSH BEOHAR, PIETER CUIJPERS, AND
JASPER FONTEIJN
APPLICATION OF MODEL-CHECKING TECHNOLOGY TO CONTROLLER SYNTHESIS 336
ALEXANDRE DAVID, JACOB DELEURAN GRUNNET, JAN JAKOB JESSEN, KIM
GULDSTRAND LARSEN, AND JACOB ILIUM RASMUSSEN
IMAGE 3
TABLE OF CONTENTS XI
THE QUASIMODO PROJECT
TESTING REAL-TIME SYSTEMS UNDER UNCERTAINTY 352
ALEXANDRE DAVID, KIM GULDSTRAND LARSEN, SHUHAO LI, MARIUS MIKUCIONIS,
AND BRIAN NIELSEN
MODEL-CHECKING AND SIMULATION FOR STOCHASTIC TIMED SYSTEMS 372 ARND
HARTMANNS
AUTHOR INDEX 393 |
| any_adam_object | 1 |
| author2 | Aichernig, Bernhard K. |
| author2_role | edt |
| author2_variant | b k a bk bka |
| author_facet | Aichernig, Bernhard K. |
| building | Verbundindex |
| bvnumber | BV039784372 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 310f |
| ctrlnum | (OCoLC)775073022 (DE-599)DNB101610491X |
| dewey-full | 005.11 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.11 |
| dewey-search | 005.11 |
| dewey-sort | 15.11 |
| 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">BV039784372</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120220</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">120103s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N42</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,A01</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">101610491X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642252709</subfield><subfield code="c">kart. : ca. EUR 66.34 (DE) (freier Pr.), ca. EUR 68.20 (AT) (freier Pr.), ca. sfr 83.00 (freier Pr.)</subfield><subfield code="9">978-3-642-25270-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642252702</subfield><subfield code="9">3-642-25270-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642252716</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-25271-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642252709</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86007801</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)775073022</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB101610491X</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-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.11</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods for components and objects</subfield><subfield code="b">9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers</subfield><subfield code="c">Bernhard K. Aichernig ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 391 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">6957 : State-of-the-art survey</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">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">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</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">Graz</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="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="689" ind1="1" 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="1" ind2="1"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><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="700" ind1="1" ind2=" "><subfield code="a">Aichernig, Bernhard K.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FMCO</subfield><subfield code="n">9</subfield><subfield code="d">2010</subfield><subfield code="c">Graz</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16333854-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Formal Methods for Components and Objects</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6957</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6957</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3896989&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=024645149&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-024645149</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Graz gnd-content |
| genre_facet | Konferenzschrift 2010 Graz |
| id | DE-604.BV039784372 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:14:29Z |
| institution | BVB |
| institution_GND | (DE-588)16333854-1 |
| isbn | 9783642252709 3642252702 9783642252716 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024645149 |
| oclc_num | 775073022 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-83 DE-706 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-83 DE-706 DE-11 |
| physical | XI, 391 S. graph. Darst. 24 cm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Formal methods for components and objects 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers Bernhard K. Aichernig ... (eds.) Berlin [u.a.] Springer 2011 XI, 391 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6957 : State-of-the-art survey Literaturangaben Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Komponente Software (DE-588)4439521-8 gnd rswk-swf Objektorientierung (DE-588)4346172-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Graz gnd-content Softwareentwicklung (DE-588)4116522-6 s Formale Methode (DE-588)4333722-3 s DE-604 Objektorientierung (DE-588)4346172-4 s Komponente Software (DE-588)4439521-8 s Aichernig, Bernhard K. edt FMCO 9 2010 Graz Sonstige (DE-588)16333854-1 oth Erscheint auch als Online-Ausgabe Formal Methods for Components and Objects Lecture notes in computer science 6957 (DE-604)BV000000607 6957 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3896989&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024645149&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal methods for components and objects 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Komponente Software (DE-588)4439521-8 gnd Objektorientierung (DE-588)4346172-4 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4439521-8 (DE-588)4346172-4 (DE-588)1071861417 |
| title | Formal methods for components and objects 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers |
| title_auth | Formal methods for components and objects 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers |
| title_exact_search | Formal methods for components and objects 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers |
| title_full | Formal methods for components and objects 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers Bernhard K. Aichernig ... (eds.) |
| title_fullStr | Formal methods for components and objects 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers Bernhard K. Aichernig ... (eds.) |
| title_full_unstemmed | Formal methods for components and objects 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers Bernhard K. Aichernig ... (eds.) |
| title_short | Formal methods for components and objects |
| title_sort | formal methods for components and objects 9th international symposium fmco 2010 graz austria november 29 december 1 2010 revised papers |
| title_sub | 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers |
| topic | Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Komponente Software (DE-588)4439521-8 gnd Objektorientierung (DE-588)4346172-4 gnd |
| topic_facet | Formale Methode Softwareentwicklung Komponente Software Objektorientierung Konferenzschrift 2010 Graz |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3896989&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024645149&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT aichernigbernhardk formalmethodsforcomponentsandobjects9thinternationalsymposiumfmco2010grazaustrianovember29december12010revisedpapers AT fmcograz formalmethodsforcomponentsandobjects9thinternationalsymposiumfmco2010grazaustrianovember29december12010revisedpapers |