Verfügbarkeit: Formal methods and software engineering

Formal methods and software engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Merz, Stephan 1963- (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham [u.a.] Springer 2014
Schriftenreihe:	Lecture notes in computer science 8829
Schlagworte:	Konferenzschrift
Online-Zugang:	BTU01 FHM01 FHN01 FKE01 FRO01 TUM01 UBA01 UBG01 UBT01 UBW01 UBY01 UER01 UPA01 Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (XII, 460 S.)
ISBN:	9783319117379
DOI:	10.1007/978-3-319-11737-9

Internformat

MARC


LEADER	00000nmm a2200000 cb4500
001	BV042276982
003	DE-604
005	00000000000000.0
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	150119s2014 sz \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783319117379 \|c eISBN \|9 978-3-319-11737-9
024	7		\|a 10.1007/978-3-319-11737-9 \|2 doi
024	3		\|a 9783319117362
028	5	2	\|a Best.-Nr.: 86382188
035			\|a (OCoLC)894706026
035			\|a (DE-599)BVBBV042276982
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a sz \|c XA-CH
049			\|a DE-473 \|a DE-20 \|a DE-91 \|a DE-706 \|a DE-739 \|a DE-384 \|a DE-M347 \|a DE-703 \|a DE-29 \|a DE-92 \|a DE-859 \|a DE-861 \|a DE-634
082	0		\|a 004
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a 004 \|2 sdnb
084			\|a DAT 310f \|2 stub
084			\|a DAT 510f \|2 stub
245	1	0	\|a Formal methods and software engineering \|b 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 ; proceedings \|c Stephan Merz ... (eds.)
264		1	\|a Cham [u.a.] \|b Springer \|c 2014
300			\|a 1 Online-Ressource (XII, 460 S.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 8829
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
700	1		\|a Merz, Stephan \|d 1963- \|0 (DE-588)172577691 \|4 edt
711	2		\|a International Conference on Formal Engineering Methods \|n 16. \|d 2014 \|c Luxemburg \|j Sonstige \|0 (DE-588)1059177528 \|4 oth
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Paperback \|z 978-3-319-11736-2
830		0	\|a Lecture notes in computer science \|v 8829 \|w (DE-604)BV014880109 \|9 8829
856	4	0	\|u https://doi.org/10.1007/978-3-319-11737-9 \|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=027714427&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=027714427&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-LNC
999			\|a oai:aleph.bib-bvb.de:BVB01-027714427
966	e		\|u https://doi.org/10.1007/978-3-319-11737-9 \|l BTU01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-11737-9 \|l FHM01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-11737-9 \|l FHN01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-11737-9 \|l FKE01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-11737-9 \|l FRO01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-11737-9 \|l TUM01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-11737-9 \|l UBA01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-11737-9 \|l UBG01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-11737-9 \|l UBT01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-11737-9 \|l UBW01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-11737-9 \|l UBY01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-11737-9 \|l UER01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-11737-9 \|l UPA01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804152839386169344
adam_text	FORMAL METHODS AND SOFTWARE ENGINEERING / : 2014 TABLE OF CONTENTS / INHALTSVERZEICHNIS APPROXIMATIONS FOR STOCHASTIC GRAPH REWRITING COMPUTING MAXIMAL BISIMULATIONS IMPROVING THE MODEL CHECKING OF STRATEGIES UNDER PARTIAL OBSERVABILITY AND FAIRNESS CONSTRAINTS A FORMAL MODEL FOR NATURAL-LANGUAGE TIMED REQUIREMENTS OF REACTIVE SYSTEMS A HYBRID MODEL OF CONNECTORS IN CYBER-PHYSICAL SYSTEMS A LANGUAGE-INDEPENDENT PROOF SYSTEM FOR MUTUAL PROGRAM EQUIVALENCE PHASE: A STOCHASTIC FORMALISM FOR PHASE-TYPE DISTRIBUTIONS CASSANDRA: AN ONLINE FAILURE PREDICTION STRATEGY FOR DYNAMICALLY EVOLVING SYSTEMS MODAL CHARACTERISATIONS OF PROBABILISTIC AND FUZZY BISIMULATIONS POINTER PROGRAM DERIVATION USING COQ: GRAPHS AND SCHORR-WAITE ALGORITHM AN LTL MODEL CHECKING APPROACH FOR BIOLOGICAL PARAMETER INFERENCE SCC-BASED IMPROVED REACHABILITY ANALYSIS FOR MARKOV DECISION PROCESSES COMPREHENSION OF SPACECRAFT TELEMETRY USING HIERARCHICAL SPECIFICATIONS OF BEHAVIOR TIMED AUTOMATA VERIFICATION VIA IC3 WITH ZONES GRL: A SPECIFICATION LANGUAGE FOR GLOBALLY ASYNCHRONOUS LOCALLY SYNCHRONOUS SYSTEMS A FORMAL FRAMEWORK TO PROVE THE CORRECTNESS OF MODEL DRIVEN ENGINEERING COMPOSITION OPERATORS A FORMULA-BASED APPROACH FOR AUTOMATIC FAULT LOCALIZATION OF IMPERATIVE PROGRAMS A RESOURCE-BASED LOGIC FOR TERMINATION AND NON-TERMINATION PROOFS PRACTICAL ANALYSIS FRAMEWORK FOR SOFTWARE-BASED ATTESTATION SCHEME TAUTH: VERIFYING TIMED SECURITY PROTOCOLS ON THE FORMAL ANALYSIS OF HMM USING THEOREM PROVING FORMAL MODELING AND ANALYSIS OF CASSANDRA IN MAUDE BOUNDED MODEL CHECKING HIGH LEVEL PETRI NETS IN PIPE+VERIFIER FAST TRANSLATION FROM LTL TO BUECHI AUTOMATA VIA NON-TRANSITION-BASED AUTOMATA COMPLETE MODEL-BASED EQUIVALENCE CLASS TESTING FOR THE ETCS CEILING SPEED MONITOR CONTRACT-BASED VERIFICATION OF MATLAB AND SIMULINK MATRIX-MANIPULATING CODE GPU ACCELERATED COUNTEREXAMPLE GENERATION IN LTL MODEL CHECKING FORMAL THROUGHPUT AND RESPONSE TIME ANALYSIS OF MARTE MODELS EXTENDING MSVL WITH FUNCTION CALLS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. FORMAL METHODS AND SOFTWARE ENGINEERING / : 2014 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, ICFEM 2014, HELD IN LUXEMBOURG, LUXEMBOURG, IN NOVEMBER 2014. THE 28 REVISED FULL PAPERS PRESENTED WERE CAREFULLY REVIEWED AND SELECTED FROM 73 SUBMISSIONS. THE PAPERS COVER A WIDE RANGE OF TOPICS IN THE AREA OF FORMAL METHODS AND SOFTWARE ENGINEERING AND ARE DEVOTED TO ADVANCING THE STATE OF THE ART OF APPLYING FORMAL METHODS IN PRACTICE. THEY FOCUS IN PARTICULAR ON COMBINATIONS OF CONCEPTUAL AND METHODOLOGICAL ASPECTS WITH THEIR FORMAL FOUNDATION AND TOOL SUPPORT DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author2	Merz, Stephan 1963-
author2_role	edt
author2_variant	s m sm
author_GND	(DE-588)172577691
author_facet	Merz, Stephan 1963-
building	Verbundindex
bvnumber	BV042276982
classification_rvk	SS 4800
classification_tum	DAT 310f DAT 510f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)894706026 (DE-599)BVBBV042276982
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-319-11737-9
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03551nmm a2200637 cb4500</leader><controlfield tag="001">BV042276982</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">150119s2014 sz \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319117379</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-319-11737-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-11737-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783319117362</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86382188</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)894706026</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042276982</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">sz</subfield><subfield code="c">XA-CH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods and software engineering</subfield><subfield code="b">16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 ; proceedings</subfield><subfield code="c">Stephan Merz ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 460 S.)</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">8829</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Merz, Stephan</subfield><subfield code="d">1963-</subfield><subfield code="0">(DE-588)172577691</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Formal Engineering Methods</subfield><subfield code="n">16.</subfield><subfield code="d">2014</subfield><subfield code="c">Luxemburg</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1059177528</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-319-11736-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8829</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8829</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-11737-9</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=027714427&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=027714427&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-LNC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027714427</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11737-9</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11737-9</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11737-9</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11737-9</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11737-9</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11737-9</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11737-9</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11737-9</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11737-9</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11737-9</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11737-9</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11737-9</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11737-9</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV042276982
illustrated	Not Illustrated
indexdate	2024-07-10T01:17:05Z
institution	BVB
institution_GND	(DE-588)1059177528
isbn	9783319117379
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027714427
oclc_num	894706026
open_access_boolean
owner	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634
owner_facet	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634
physical	1 Online-Ressource (XII, 460 S.)
psigel	ZDB-2-LNC
publishDate	2014
publishDateSearch	2014
publishDateSort	2014
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Formal methods and software engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 ; proceedings Stephan Merz ... (eds.) Cham [u.a.] Springer 2014 1 Online-Ressource (XII, 460 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8829 (DE-588)1071861417 Konferenzschrift gnd-content Merz, Stephan 1963- (DE-588)172577691 edt International Conference on Formal Engineering Methods 16. 2014 Luxemburg Sonstige (DE-588)1059177528 oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-319-11736-2 Lecture notes in computer science 8829 (DE-604)BV014880109 8829 https://doi.org/10.1007/978-3-319-11737-9 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027714427&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=027714427&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Formal methods and software engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 ; proceedings Lecture notes in computer science
subject_GND	(DE-588)1071861417
title	Formal methods and software engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 ; proceedings
title_auth	Formal methods and software engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 ; proceedings
title_exact_search	Formal methods and software engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 ; proceedings
title_full	Formal methods and software engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 ; proceedings Stephan Merz ... (eds.)
title_fullStr	Formal methods and software engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 ; proceedings Stephan Merz ... (eds.)
title_full_unstemmed	Formal methods and software engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 ; proceedings Stephan Merz ... (eds.)
title_short	Formal methods and software engineering
title_sort	formal methods and software engineering 16th international conference on formal engineering methods icfem 2014 luxembourg luxembourg november 3 5 2014 proceedings
title_sub	16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 ; proceedings
topic_facet	Konferenzschrift
url	https://doi.org/10.1007/978-3-319-11737-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027714427&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=027714427&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT merzstephan formalmethodsandsoftwareengineering16thinternationalconferenceonformalengineeringmethodsicfem2014luxembourgluxembourgnovember352014proceedings AT internationalconferenceonformalengineeringmethodsluxemburg formalmethodsandsoftwareengineering16thinternationalconferenceonformalengineeringmethodsicfem2014luxembourgluxembourgnovember352014proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge