NASA formal methods: Third international symposium, NFM 2011, Pasadena, CA, USA, April 18 - 20, 2011 ; proceedings
Gespeichert in:
Format: | Tagungsbericht Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
Schriftenreihe: | Lecture notes in computer science
6617 |
Schlagworte: | |
Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
Beschreibung: | Erscheint: 31. Maerz 2011 |
Beschreibung: | XIV, 534 S. graph. Darst. |
ISBN: | 9783642203978 3642203973 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV037330683 | ||
003 | DE-604 | ||
005 | 20110817 | ||
007 | t| | ||
008 | 110411s2011 xx d||| |||| 10||| eng d | ||
015 | |a 11,N11 |2 dnb | ||
016 | 7 | |a 1010479407 |2 DE-101 | |
020 | |a 9783642203978 |c Pb. : ca. EUR 74.90 (DE) (freier Pr.), ca. USD 99.00 (US), ca. sfr 100.50 (freier Pr.) |9 978-3-642-20397-8 | ||
020 | |a 3642203973 |c Pb. : ca. EUR 74.90 (DE) (freier Pr.), ca. USD 99.00 (US), ca. sfr 100.50 (freier Pr.) |9 3-642-20397-3 | ||
024 | 3 | |a 9783642203978 | |
028 | 5 | 2 | |a Best.-Nr.: 80053286 |
035 | |a (OCoLC)723440927 | ||
035 | |a (DE-599)DNB1010479407 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-706 |a DE-11 |a DE-83 |a DE-91G | ||
082 | 0 | |a 004.2 |2 22/ger | |
082 | 0 | |a 005.14 |2 22/ger | |
082 | 0 | |a 004.24 |2 22/ger | |
084 | |a 004 |2 sdnb | ||
084 | |a DAT 343f |2 stub | ||
084 | |a VER 826f |2 stub | ||
084 | |a DAT 325f |2 stub | ||
245 | 1 | 0 | |a NASA formal methods |b Third international symposium, NFM 2011, Pasadena, CA, USA, April 18 - 20, 2011 ; proceedings |c Mihaela Bobaru |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
300 | |a XIV, 534 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 6617 | |
500 | |a Erscheint: 31. Maerz 2011 | ||
650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Testen |0 (DE-588)4367264-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |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 2011 |z Pasadena Calif. |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 Testen |0 (DE-588)4367264-4 |D s |
689 | 0 | 3 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
689 | 0 | 4 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
689 | 0 | 5 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Bobaru, Mihaela |e Sonstige |4 oth | |
711 | 2 | |a NFM |n 3 |d 2011 |c Pasadena, Calif. |j Sonstige |0 (DE-588)16151757-2 |4 oth | |
776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t NASA Formal Methods |
830 | 0 | |a Lecture notes in computer science |v 6617 |w (DE-604)BV000000607 |9 6617 | |
856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3683400&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=022484612&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-022484612 |
Datensatz im Suchindex
_version_ | 1820875299346186240 |
---|---|
adam_text |
IMAGE 1
TABLE OF CONTENTS
I. INVITED TALKS FROM RETROSPECTIVE VERIFICATION TO FORWARD-LOOKING
DEVELOPMENT 1 K. RUSTAN M. LEINO
SPECIFICATIONS FOR FREE 2
ANDREAS ZELLER
II. INVITED TUTORIALS
THE THEORY AND PRACTICE OF SALT 13
ANDREAS BAUER AND MARTIN LEUCKER
VERIFAST: A POWERFUL, SOUND, PREDICTABLE, FAST VERIFIER FOR C AND JAVA
41
BART JACOBS, JAN SMANS, PIETER PHILIPPAERTS, FREDERIC VOGELS, WILLEM
PENNINCKX, AND FRANK PIESSENS
VERIFYING FUNCTIONAL CORRECTNESS OF C PROGRAMS WITH VCC 56 MICHAL MOSKAL
III. REGULAR PAPERS
BAKAR KIASAN: FLEXIBLE CONTRACT CHECKING FOR CRITICAL SYSTEMS USING
SYMBOLIC EXECUTION 58
JASON BELT, JOHN HATCLIFF, ROBBY, PATRICE CHALIN, DAVID HARDIN, AND
XIANGHUA DENG
APPROXIMATE QUANTIFIER ELIMINATION FOR PROPOSITIONAL BOOLEAN FORMULAE 73
JOERG BRAUER AND ANDY KING
TOWARDS FLIGHT CONTROL VERIFICATION USING AUTOMATED THEOREM PROVING 89
WILLIAM DENMAN, MOHAMED H. ZAKI, SOFIENE TAHAR, AND LUIS RODRIGUES
GENERALIZED RABIN(L) SYNTHESIS WITH APPLICATIONS TO ROBUST SYSTEM
SYNTHESIS 101
RUEDIGER EHLERS
INTEGRATING AN AUTOMATED THEOREM PROVER INTO AGDA 116
SIMON FOSTER AND GEORG STRUTH
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1010479407
DIGITALISIERT DURCH
IMAGE 2
XII TABLE OF CONTENTS
EFFICIENT PREDICATE ABSTRACTION OF PROGRAM SUMMARIES 131
ARIE GURFINKEL, SAGAR CHAKI, AND SAMIR SAPRA
SYNTHESIS FOR PCTL IN PARAMETRIC MARKOV DECISION PROCESSES 146 ERNST
MORITZ HAHN, TINGTING HAN, AND LIJUN ZHANG
FORMALIZING PROBABILISTIC SAFETY CLAIMS 162
HEBER HERENCIA-ZAPANA, GEORGE HAGEN, AND ANTHONY NARKAWICZ
THE OPENTHEORY STANDARD THEORY LIBRARY 177
JOE HURD
INSTANTIATION-BASED INVARIANT DISCOVERY 192
TEMESGHEN KAHSAI, YETING GE, AND CESARE TINELLI
STUTTERING MOSTLY SPEEDS UP SOLVING PARITY GAMES 207
SJOERD GRANEN, JEROEN J.A. KEIREN, AND TIM A.C. WILLEMSE
COUNTEREXAMPLE-BASED ERROR LOCALIZATION OF BEHAVIOR MODELS 222 TSUTOMU
KUMAZAWA AND TETSUO TAMAI
CALL INVARIANTS 237
SHUVENDU K. LAHIRI AND SHAZ QADEER
SYMMETRY FOR THE ANALYSIS OF DYNAMIC SYSTEMS 252
ZARRIN LANGARI AND RICHARD TREFLER
IMPLEMENTING CRYPTOGRAPHIC PRIMITIVES IN THE SYMBOLIC MODEL 267 PEETER
LAUD
MODEL CHECKING USING SMT AND THEORY OF LISTS 282
ALEKSANDAR MILICEVIC AND HILLEL KUGLER
AUTOMATED TEST CASE GENERATION WITH SMT-SOLVING AND ABSTRACT
INTERPRETATION 298
JAN PELESKA, ELENA VOROBEV, AND FLORIAN LAPSCHIES
GENERATING DATA RACE WITNESSES BY AN SMT-BASED ANALYSIS 313
MAHMOUD SAID, CHAO WANG, ZIJIANG YANG, AND KAREM SAKALLAH
APPLYING ATOMICITY AND MODEL DECOMPOSITION TO A SPACE CRAFT SYSTEM IN
EVENT-B 328
ASIEH SALEHI FATHABADI, ABDOLBAGHI REZAZADEH, AND MICHAEL BUTLER
A THEORY OF SKIPLISTS WITH APPLICATIONS TO THE VERIFICATION OF
CONCURRENT DATATYPES 343
ALEJANDRO SANCHEZ AND CESAR SANCHEZ
CORAL: SOLVING COMPLEX CONSTRAINTS FOR SYMBOLIC PATHFINDER 359 MATHEUS
SOUZA, MATEUS BORGES, MARCELO D'AMORIM, AND CORINA S. PAESAEREANU
IMAGE 3
TABLE OF CONTENTS XIII
AUTOMATED FORMAL VERIFICATION OF THE TTETHERNET SYNCHRONIZATION QUALITY
375
WILFRIED STEINER AND BRUNO DUTERTRE
EXTENDING THE GWV SECURITY POLICY AND ITS MODULAR APPLICATION TO A
SEPARATION KERNEL 391
SERGEY TVERDYSHEV
COMBINING PARTIAL-ORDER REDUCTION AND SYMBOLIC MODEL CHECKING TO VERIFY
LTL PROPERTIES 406
JOSE VANDER MEULEN AND CHARLES PECHEUR
TOWARDS INFORMED SWARM VERIFICATION 422
ANTON WIJS
SCALING UP WITH EVENT-B: A CASE STUDY 438
FAQING YANG AND JEAN-PIERRE JACQUOT
IV. TOOL PAPERS
D-FINDER 2: TOWARDS EFFICIENT CORRECTNESS OF INCREMENTAL DESIGN 453
SADDEK BENSALEM, ANDREAS GRIESMAYER, AXEL LEGAY, THANH-HUNG NGUYEN,
JOSEPH SIFAKIS, AND RONGJIE YAN
INFER: AN AUTOMATIC PROGRAM VERIFIER FOR MEMORY SAFETY OF C PROGRAMS 459
CRISTIANO CALCAGNO AND DINO DISTEFANO
MODEL CONSTRUCTION AND PRIORITY SYNTHESIS FOR SIMPLE INTERACTION SYSTEMS
466
CHIH-HONG CHENG, SADDEK BENSALEM, BARBARA JOBSTMANN, RONGJIE YAN, ALOIS
KNOLL, AND HARALD RUESS
OPENJML: JML FOR JAVA 7 BY EXTENDING OPENJDK 472
DAVID R. COK
JSMTLIB: TUTORIAL, VALIDATION AND ADAPTER TOOLS FOR SMT-LIBV2 480 DAVID
R. COK
OPAAL: A LATTICE MODEL CHECKER 487
ANDREAS ENGELBREDT DALSGAARD, RENE RYDHOF HANSEN, KENNETH YRKE
J0RGENSEN, KIM GULSTRAND LARSEN, MADS CHR. OLESEN, PETUR OLSEN, AND JIFI
SRBA
A TABULAR EXPRESSION TOOLBOX FOR MATLAB/SIMULINK 494
COLIN ELES AND MARK LAWFORD
LLVM2CSP: EXTRACTING CSP MODELS FROM CONCURRENT PROGRAMS 500 MORITZ
KLEINE, BJOERN BARTELS, THOMAS GOETHEL, STEFFEN HEIKE, AND DIRK PRENZEL
IMAGE 4
XIV TABLE OF CONTENTS
MULTI-CORE LTSMIN: MARRYING MODULARITY AND SCALABILITY 506
ALFONS LAARMAN, JACO VAN DE POL, AND MICHAEL WEBER
GINACRA: A C ++ LIBRARY FOR REAL ALGEBRAIC COMPUTATIONS 512
ULRICH LOUP AND ERIKA ABRAHAM
KOPITIAM: MODULAR INCREMENTAL INTERACTIVE FULL FUNCTIONAL STATIC
VERIFICATION OF JAVA CODE 518
HANNES MEHNERT
MILESTONES: A MODEL CHECKER COMBINING SYMBOLIC MODEL CHECKING AND
PARTIAL ORDER REDUCTION 525
JOSE VANDER MEULEN AND CHARLES PECHEUR
AUTHOR INDEX 533 |
any_adam_object | 1 |
building | Verbundindex |
bvnumber | BV037330683 |
classification_rvk | SS 4800 |
classification_tum | DAT 343f VER 826f DAT 325f |
ctrlnum | (OCoLC)723440927 (DE-599)DNB1010479407 |
dewey-full | 004.2 005.14 004.24 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 004 - Computer science 005 - Computer programming, programs, data, security |
dewey-raw | 004.2 005.14 004.24 |
dewey-search | 004.2 005.14 004.24 |
dewey-sort | 14.2 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik Verkehrstechnik |
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">BV037330683</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110817</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110411s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N11</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1010479407</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642203978</subfield><subfield code="c">Pb. : ca. EUR 74.90 (DE) (freier Pr.), ca. USD 99.00 (US), ca. sfr 100.50 (freier Pr.)</subfield><subfield code="9">978-3-642-20397-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642203973</subfield><subfield code="c">Pb. : ca. EUR 74.90 (DE) (freier Pr.), ca. USD 99.00 (US), ca. sfr 100.50 (freier Pr.)</subfield><subfield code="9">3-642-20397-3</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642203978</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80053286</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)723440927</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1010479407</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-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.24</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 343f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">VER 826f</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">NASA formal methods</subfield><subfield code="b">Third international symposium, NFM 2011, Pasadena, CA, USA, April 18 - 20, 2011 ; proceedings</subfield><subfield code="c">Mihaela Bobaru</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">XIV, 534 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">6617</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Erscheint: 31. Maerz 2011</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">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">Testen</subfield><subfield code="0">(DE-588)4367264-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</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">2011</subfield><subfield code="z">Pasadena Calif.</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">Testen</subfield><subfield code="0">(DE-588)4367264-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><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="5"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-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">Bobaru, Mihaela</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">NFM</subfield><subfield code="n">3</subfield><subfield code="d">2011</subfield><subfield code="c">Pasadena, Calif.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16151757-2</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">NASA Formal Methods</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6617</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6617</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=3683400&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=022484612&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-022484612</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2011 Pasadena Calif. gnd-content |
genre_facet | Konferenzschrift 2011 Pasadena Calif. |
id | DE-604.BV037330683 |
illustrated | Illustrated |
indexdate | 2025-01-10T15:13:26Z |
institution | BVB |
institution_GND | (DE-588)16151757-2 |
isbn | 9783642203978 3642203973 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022484612 |
oclc_num | 723440927 |
open_access_boolean | |
owner | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
owner_facet | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
physical | XIV, 534 S. graph. Darst. |
publishDate | 2011 |
publishDateSearch | 2011 |
publishDateSort | 2011 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | NASA formal methods Third international symposium, NFM 2011, Pasadena, CA, USA, April 18 - 20, 2011 ; proceedings Mihaela Bobaru Berlin [u.a.] Springer 2011 XIV, 534 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6617 Erscheint: 31. Maerz 2011 Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Testen (DE-588)4367264-4 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Pasadena Calif. gnd-content Formale Methode (DE-588)4333722-3 s Verifikation (DE-588)4135577-5 s Testen (DE-588)4367264-4 s Automatisches Beweisverfahren (DE-588)4069034-9 s Softwareentwicklung (DE-588)4116522-6 s Systementwicklung (DE-588)4126945-7 s DE-604 Bobaru, Mihaela Sonstige oth NFM 3 2011 Pasadena, Calif. Sonstige (DE-588)16151757-2 oth Erscheint auch als Online-Ausgabe NASA Formal Methods Lecture notes in computer science 6617 (DE-604)BV000000607 6617 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3683400&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=022484612&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | NASA formal methods Third international symposium, NFM 2011, Pasadena, CA, USA, April 18 - 20, 2011 ; proceedings Lecture notes in computer science Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd Testen (DE-588)4367264-4 gnd Systementwicklung (DE-588)4126945-7 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Verifikation (DE-588)4135577-5 gnd |
subject_GND | (DE-588)4116522-6 (DE-588)4333722-3 (DE-588)4367264-4 (DE-588)4126945-7 (DE-588)4069034-9 (DE-588)4135577-5 (DE-588)1071861417 |
title | NASA formal methods Third international symposium, NFM 2011, Pasadena, CA, USA, April 18 - 20, 2011 ; proceedings |
title_auth | NASA formal methods Third international symposium, NFM 2011, Pasadena, CA, USA, April 18 - 20, 2011 ; proceedings |
title_exact_search | NASA formal methods Third international symposium, NFM 2011, Pasadena, CA, USA, April 18 - 20, 2011 ; proceedings |
title_full | NASA formal methods Third international symposium, NFM 2011, Pasadena, CA, USA, April 18 - 20, 2011 ; proceedings Mihaela Bobaru |
title_fullStr | NASA formal methods Third international symposium, NFM 2011, Pasadena, CA, USA, April 18 - 20, 2011 ; proceedings Mihaela Bobaru |
title_full_unstemmed | NASA formal methods Third international symposium, NFM 2011, Pasadena, CA, USA, April 18 - 20, 2011 ; proceedings Mihaela Bobaru |
title_short | NASA formal methods |
title_sort | nasa formal methods third international symposium nfm 2011 pasadena ca usa april 18 20 2011 proceedings |
title_sub | Third international symposium, NFM 2011, Pasadena, CA, USA, April 18 - 20, 2011 ; proceedings |
topic | Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd Testen (DE-588)4367264-4 gnd Systementwicklung (DE-588)4126945-7 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Verifikation (DE-588)4135577-5 gnd |
topic_facet | Softwareentwicklung Formale Methode Testen Systementwicklung Automatisches Beweisverfahren Verifikation Konferenzschrift 2011 Pasadena Calif. |
url | http://deposit.dnb.de/cgi-bin/dokserv?id=3683400&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=022484612&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000000607 |
work_keys_str_mv | AT bobarumihaela nasaformalmethodsthirdinternationalsymposiumnfm2011pasadenacausaapril18202011proceedings AT nfmpasadenacalif nasaformalmethodsthirdinternationalsymposiumnfm2011pasadenacausaapril18202011proceedings |