Formal methods: foundations and applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
8195 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (X, 242 S.) graph. Darst. |
| ISBN: | 9783642410703 9783642410710 |
| DOI: | 10.1007/978-3-642-41071-0 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041451213 | ||
| 003 | DE-604 | ||
| 005 | 20140224 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131129s2013 gw d||| o|||| 10||| eng d | ||
| 020 | |a 9783642410703 |9 978-3-642-41070-3 | ||
| 020 | |a 9783642410710 |c Online |9 978-3-642-41071-0 | ||
| 024 | 7 | |a 10.1007/978-3-642-41071-0 |2 doi | |
| 035 | |a (OCoLC)862095462 | ||
| 035 | |a (DE-599)BVBBV041451213 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-739 |a DE-859 |a DE-91 |a DE-706 |a DE-384 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 004 | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a DAT 330f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Formal methods: foundations and applications |b 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 ; proceedings |c Juliano Iyoda ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (X, 242 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 8195 | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fehlertoleranz |0 (DE-588)4123192-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z Brasilia |2 gnd-content | |
| 689 | 0 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 1 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 2 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 0 | 3 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 0 | 4 | |a Fehlertoleranz |0 (DE-588)4123192-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Iyoda, Juliano |e Sonstige |0 (DE-588)104476404X |4 oth | |
| 711 | 2 | |a SBMF |n 16 |d 2013 |c Brasília |j Sonstige |0 (DE-588)1044764538 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 8195 |w (DE-604)BV014880109 |9 8195 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-41071-0 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026897776&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026897776&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026897776 | |
Datensatz im Suchindex
| _version_ | 1820875546542735360 |
|---|---|
| adam_text |
FORMAL METHODS: FOUNDATIONS AND APPLICATIONS
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
FOUNDATIONAL AND METHODOLOGICAL ISSUES IN FORMAL METHODS
DESIGN AND ANALYSIS OF SOFTWARE SYSTEMS
DESIGN AND ANALYSIS OF HARDWARE SYSTEMS.-APPLICATIONS IN VARIOUS
DOMAINS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
FORMAL METHODS: FOUNDATIONS AND APPLICATIONS
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 16TH BRAZILIAN
SYMPOSIUM ON FORMAL METHODS, SBMF 2013, HELD IN BRASILIA, BRAZIL, IN
SEPTEMBER/OCTOBER 2013. THE 14 REVISED FULL PAPERS PRESENTED TOGETHER
WITH 2 KEYNOTES WERE CAREFULLY REVIEWED AND SELECTED FROM 29
SUBMISSIONS. THE PAPERS PRESENTED COVER A BROAD RANGE OF FOUNDATIONAL
AND METHODOLOGICAL ISSUES IN FORMAL METHODS FOR THE DESIGN AND ANALYSIS
OF SOFTWARE AND HARDWARE SYSTEMS AS WELL AS APPLICATIONS IN VARIOUS
DOMAINS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)104476404X |
| building | Verbundindex |
| bvnumber | BV041451213 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 330f DAT 000 DAT 325f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)862095462 (DE-599)BVBBV041451213 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-41071-0 |
| format | Electronic Conference Proceeding eBook |
| 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">BV041451213</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140224</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131129s2013 gw d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642410703</subfield><subfield code="9">978-3-642-41070-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642410710</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-41071-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-41071-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)862095462</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041451213</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</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 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</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">Formal methods: foundations and applications</subfield><subfield code="b">16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 ; proceedings</subfield><subfield code="c">Juliano Iyoda ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 242 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">8195</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">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">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-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="650" ind1="0" ind2="7"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-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">2013</subfield><subfield code="z">Brasilia</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="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="2"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</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">Iyoda, Juliano</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)104476404X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SBMF</subfield><subfield code="n">16</subfield><subfield code="d">2013</subfield><subfield code="c">Brasília</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1044764538</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">8195</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8195</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-41071-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=026897776&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=026897776&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026897776</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Brasilia gnd-content |
| genre_facet | Konferenzschrift 2013 Brasilia |
| id | DE-604.BV041451213 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:17:21Z |
| institution | BVB |
| institution_GND | (DE-588)1044764538 |
| isbn | 9783642410703 9783642410710 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026897776 |
| oclc_num | 862095462 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-739 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-739 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (X, 242 S.) graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Formal methods: foundations and applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 ; proceedings Juliano Iyoda ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (X, 242 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8195 Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Modellgetriebene Entwicklung (DE-588)4832365-2 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Brasilia gnd-content Formale Methode (DE-588)4333722-3 s Verifikation (DE-588)4135577-5 s Softwaretest (DE-588)4132652-0 s Modellgetriebene Entwicklung (DE-588)4832365-2 s Fehlertoleranz (DE-588)4123192-2 s DE-604 Iyoda, Juliano Sonstige (DE-588)104476404X oth SBMF 16 2013 Brasília Sonstige (DE-588)1044764538 oth Lecture notes in computer science 8195 (DE-604)BV014880109 8195 https://doi.org/10.1007/978-3-642-41071-0 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026897776&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026897776&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Formal methods: foundations and applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Softwaretest (DE-588)4132652-0 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd Verifikation (DE-588)4135577-5 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4132652-0 (DE-588)4832365-2 (DE-588)4135577-5 (DE-588)4123192-2 (DE-588)1071861417 |
| title | Formal methods: foundations and applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 ; proceedings |
| title_auth | Formal methods: foundations and applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 ; proceedings |
| title_exact_search | Formal methods: foundations and applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 ; proceedings |
| title_full | Formal methods: foundations and applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 ; proceedings Juliano Iyoda ... (eds.) |
| title_fullStr | Formal methods: foundations and applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 ; proceedings Juliano Iyoda ... (eds.) |
| title_full_unstemmed | Formal methods: foundations and applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 ; proceedings Juliano Iyoda ... (eds.) |
| title_short | Formal methods: foundations and applications |
| title_sort | formal methods foundations and applications 16th brazilian symposium sbmf 2013 brasilia brazil september 29 october 4 2013 proceedings |
| title_sub | 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Softwaretest (DE-588)4132652-0 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd Verifikation (DE-588)4135577-5 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| topic_facet | Formale Methode Softwaretest Modellgetriebene Entwicklung Verifikation Fehlertoleranz Konferenzschrift 2013 Brasilia |
| url | https://doi.org/10.1007/978-3-642-41071-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026897776&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026897776&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT iyodajuliano formalmethodsfoundationsandapplications16thbraziliansymposiumsbmf2013brasiliabrazilseptember29october42013proceedings AT sbmfbrasilia formalmethodsfoundationsandapplications16thbraziliansymposiumsbmf2013brasiliabrazilseptember29october42013proceedings |