Verfügbarkeit: Verteilte Laufzeitverifikation auf eingebetteten Systemen

Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Schmitz, Malte (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	German
Veröffentlicht:	Wiesbaden Springer Fachmedien Wiesbaden 2016
Schriftenreihe:	BestMasters
Schlagworte:	Computer science Computer organization Software engineering Computers Computer Science Theory of Computation Software Engineering/Programming and Operating Systems Computer Systems Organization and Communication Networks Informatik
Online-Zugang:	BFB01 BHS01 BTU01 BTW01 FAB01 FAN01 FAW01 FCO01 FFW01 FHA01 FHD01 FHI01 FHM01 FHN01 FHO01 FHR01 FKE01 FLA01 FNU01 FRO01 FWS01 FWS02 HTW01 HWR01 TUBA1 TUM01 UBM01 UBT01 UBW01 UBY01 UER01 Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (XXIII, 163 Seiten 33 Abb)
ISBN:	9783658128524
DOI:	10.1007/978-3-658-12852-4

Internformat

MARC


LEADER	00000nmm a2200000zc 4500
001	BV043546095
003	DE-604
005	20160517
007	cr\|uuu---uuuuu
008	160510s2016 \|\|\|\| o\|\|u\| \|\|\|\|\|\|ger d
020			\|a 9783658128524 \|c Online \|9 978-3-658-12852-4
024	7		\|a 10.1007/978-3-658-12852-4 \|2 doi
035			\|a (ZDB-2-STI)978-3-658-12852-4
035			\|a (OCoLC)948825921
035			\|a (DE-599)BVBBV043546095
040			\|a DE-604 \|b ger \|e rda
041	0		\|a ger
049			\|a DE-860 \|a DE-91 \|a DE-19 \|a DE-1028 \|a DE-83 \|a DE-858 \|a DE-1046 \|a DE-1043 \|a DE-B768 \|a DE-Aug4 \|a DE-898 \|a DE-861 \|a DE-523 \|a DE-1049 \|a DE-859 \|a DE-29 \|a DE-863 \|a DE-1050 \|a DE-20 \|a DE-862 \|a DE-92 \|a DE-2070s \|a DE-522 \|a DE-M347 \|a DE-573 \|a DE-703 \|a DE-1102 \|a DE-706 \|a DE-634 \|a DE-526 \|a DE-1051 \|a DE-11
082	0		\|a 004.0151 \|2 23
084			\|a TEC 000 \|2 stub
084			\|a DAT 000 \|2 stub
100	1		\|a Schmitz, Malte \|e Verfasser \|4 aut
245	1	0	\|a Verteilte Laufzeitverifikation auf eingebetteten Systemen \|b Logiken und Monitorkonstruktionen für asynchrone Prozesse \|c von Malte Schmitz
264		1	\|a Wiesbaden \|b Springer Fachmedien Wiesbaden \|c 2016
300			\|a 1 Online-Ressource (XXIII, 163 Seiten 33 Abb)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a BestMasters
650		4	\|a Computer science
650		4	\|a Computer organization
650		4	\|a Software engineering
650		4	\|a Computers
650		4	\|a Computer Science
650		4	\|a Theory of Computation
650		4	\|a Software Engineering/Programming and Operating Systems
650		4	\|a Computer Systems Organization and Communication Networks
650		4	\|a Informatik
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-3-658-12851-7
856	4	0	\|u https://doi.org/10.1007/978-3-658-12852-4 \|x Verlag \|z URL des Erstveröffentlichers \|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=028961458&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=028961458&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-STI
940	1		\|q ZDB-2-STI_2016
999			\|a oai:aleph.bib-bvb.de:BVB01-028961458
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l BFB01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l BHS01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l BTU01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l BTW01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l FAB01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l FAN01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l FAW01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l FCO01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l FFW01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l FHA01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l FHD01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l FHI01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l FHM01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l FHN01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l FHO01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l FHR01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l FKE01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l FLA01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l FNU01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l FRO01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l FWS01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l FWS02 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l HTW01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l HWR01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l TUBA1 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l TUM01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l UBM01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l UBT01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l UBW01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l UBY01 \|p ZDB-2-STI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-658-12852-4 \|l UER01 \|p ZDB-2-STI \|x Verlag \|3 Volltext

Datensatz im Suchindex

DE-BY-FWS_katkey	617003
_version_	1806179742792024064
adam_text	VERTEILTE LAUFZEITVERIFIKATION AUF EINGEBETTETEN SYSTEMEN / SCHMITZ, MALTE : 2016 TABLE OF CONTENTS / INHALTSVERZEICHNIS LINEARE TEMPORALLOGIK FUER VERTEILTE SYSTEME MONITORBARKEIT MONITORKONSTRUKTIONEN MONITORGENERIERUNG IN SCALA INSTRUMENTIERUNG VON NXC-CODE FALLSTUDIEN UND BENCHMARKS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. VERTEILTE LAUFZEITVERIFIKATION AUF EINGEBETTETEN SYSTEMEN / SCHMITZ, MALTE : 2016 ABSTRACT / INHALTSTEXT IN SEINER ARBEIT BETRACHTET MALTE SCHMITZ, WIE DIE KORREKTHEIT VON VERTEILTEN SYSTEMEN ZUR LAUFZEIT UEBERWACHT WERDEN KANN. DAZU UNTERSUCHT UND ENTWICKELT ER VERSCHIEDENE VARIANTEN DER LINEAREN TEMPORALLOGIK (LTL) UND ZUGEHOERIGE MONITORKONSTRUKTIONEN FUER DEN EINSATZ ZUR LAUFZEITVERIFIKATION VERTEILTER, ASYNCHRONER, EINGEBETTETER SYSTEME. ALS FALLSTUDIE DIENT DABEI DIE SICHERE UND KORREKTE STEUERUNG VON INDUSTRIEANLAGEN MITHILFE VON INNOVATIVEN UEBERWACHUNGSKONZEPTEN ZUR LAUFZEIT. DER AUTOR HAT SEIN PROJEKT MODELLHAFT REALISIERT, UM DIE VERSCHIEDENEN MONITORKONSTRUKTIONEN UND DIE MONITORINJEKTION DURCH PROGRAMMTRANSFORMATION IM PRAKTISCHEN EINSATZ ZU EVALUIEREN. DER INHALT LINEARE TEMPORALLOGIK FUER VERTEILTE SYSTEME MONITORBARKEIT MONITORKONSTRUKTIONEN MONITORGENERIERUNG IN SCALA INSTRUMENTIERUNG VON NXC-CODE FALLSTUDIEN UND BENCHMARKS DIE ZIELGRUPPEN DOZIERENDE UND STUDIERENDE DER SOFTWARETECHNIK UND THEORETISCHEN INFORMATIK DER AUTOR MALTE SCHMITZ FORSCHTE IM ZUGE SEINES MASTERSTUDIUMS AM INSTITUT FUER SOFTWARETECHNIK UND PROGRAMMIERSPRACHEN DER UNIVERSITAET ZU LUEBECK UND IST DORT HEUTE ALS WISSENSCHAFTLICHER MITARBEITER BESCHAEFTIGT DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author	Schmitz, Malte
author_facet	Schmitz, Malte
author_role	aut
author_sort	Schmitz, Malte
author_variant	m s ms
building	Verbundindex
bvnumber	BV043546095
classification_tum	TEC 000 DAT 000
collection	ZDB-2-STI
ctrlnum	(ZDB-2-STI)978-3-658-12852-4 (OCoLC)948825921 (DE-599)BVBBV043546095
dewey-full	004.0151
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.0151
dewey-search	004.0151
dewey-sort	14.0151
dewey-tens	000 - Computer science, information, general works
discipline	Technik Technik Informatik
doi_str_mv	10.1007/978-3-658-12852-4
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05338nmm a2200877zc 4500</leader><controlfield tag="001">BV043546095</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160517 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">160510s2016 \|\|\|\| o\|\|u\| \|\|\|\|\|\|ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783658128524</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-658-12852-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-658-12852-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-STI)978-3-658-12852-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)948825921</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043546095</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-860</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-B768</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-2070s</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</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="100" ind1="1" ind2=" "><subfield code="a">Schmitz, Malte</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verteilte Laufzeitverifikation auf eingebetteten Systemen</subfield><subfield code="b">Logiken und Monitorkonstruktionen für asynchrone Prozesse</subfield><subfield code="c">von Malte Schmitz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Springer Fachmedien Wiesbaden</subfield><subfield code="c">2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXIII, 163 Seiten 33 Abb)</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="0" ind2=" "><subfield code="a">BestMasters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer organization</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Systems Organization and Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-658-12851-7</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-658-12852-4</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</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=028961458&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=028961458&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-STI</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028961458</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-658-12852-4</subfield><subfield code="l">BFB01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">BHS01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">BTW01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">FAB01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">FAN01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">FCO01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">FFW01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">FHD01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">FHO01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">FNU01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">HWR01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">TUBA1</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-STI</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-658-12852-4</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-STI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV043546095
illustrated	Not Illustrated
indexdate	2024-08-01T12:13:51Z
institution	BVB
isbn	9783658128524
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028961458
oclc_num	948825921
open_access_boolean
owner	DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1028 DE-83 DE-858 DE-1046 DE-1043 DE-B768 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-1049 DE-859 DE-29 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-2070s DE-522 DE-M347 DE-573 DE-703 DE-1102 DE-706 DE-634 DE-526 DE-1051 DE-11
owner_facet	DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1028 DE-83 DE-858 DE-1046 DE-1043 DE-B768 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-1049 DE-859 DE-29 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-2070s DE-522 DE-M347 DE-573 DE-703 DE-1102 DE-706 DE-634 DE-526 DE-1051 DE-11
physical	1 Online-Ressource (XXIII, 163 Seiten 33 Abb)
psigel	ZDB-2-STI ZDB-2-STI_2016
publishDate	2016
publishDateSearch	2016
publishDateSort	2016
publisher	Springer Fachmedien Wiesbaden
record_format	marc
series2	BestMasters
spellingShingle	Schmitz, Malte Verteilte Laufzeitverifikation auf eingebetteten Systemen Logiken und Monitorkonstruktionen für asynchrone Prozesse Computer science Computer organization Software engineering Computers Computer Science Theory of Computation Software Engineering/Programming and Operating Systems Computer Systems Organization and Communication Networks Informatik
title	Verteilte Laufzeitverifikation auf eingebetteten Systemen Logiken und Monitorkonstruktionen für asynchrone Prozesse
title_auth	Verteilte Laufzeitverifikation auf eingebetteten Systemen Logiken und Monitorkonstruktionen für asynchrone Prozesse
title_exact_search	Verteilte Laufzeitverifikation auf eingebetteten Systemen Logiken und Monitorkonstruktionen für asynchrone Prozesse
title_full	Verteilte Laufzeitverifikation auf eingebetteten Systemen Logiken und Monitorkonstruktionen für asynchrone Prozesse von Malte Schmitz
title_fullStr	Verteilte Laufzeitverifikation auf eingebetteten Systemen Logiken und Monitorkonstruktionen für asynchrone Prozesse von Malte Schmitz
title_full_unstemmed	Verteilte Laufzeitverifikation auf eingebetteten Systemen Logiken und Monitorkonstruktionen für asynchrone Prozesse von Malte Schmitz
title_short	Verteilte Laufzeitverifikation auf eingebetteten Systemen
title_sort	verteilte laufzeitverifikation auf eingebetteten systemen logiken und monitorkonstruktionen fur asynchrone prozesse
title_sub	Logiken und Monitorkonstruktionen für asynchrone Prozesse
topic	Computer science Computer organization Software engineering Computers Computer Science Theory of Computation Software Engineering/Programming and Operating Systems Computer Systems Organization and Communication Networks Informatik
topic_facet	Computer science Computer organization Software engineering Computers Computer Science Theory of Computation Software Engineering/Programming and Operating Systems Computer Systems Organization and Communication Networks Informatik
url	https://doi.org/10.1007/978-3-658-12852-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028961458&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=028961458&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT schmitzmalte verteiltelaufzeitverifikationaufeingebettetensystemenlogikenundmonitorkonstruktionenfurasynchroneprozesse

Verfügbarkeit

Volltext öffnen

MARC

Datensatz im Suchindex

Ähnliche Einträge