Verfügbarkeit: Formal techniques in real time and fault tolerant systems

Formal techniques in real time and fault tolerant systems: 6th international symposium, FTRTFT 2000, Pune, India, September 20 - 22, 2000 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2000
Schriftenreihe:	Lecture notes in computer science 1926
Schlagworte:	Formale Methode Softwareentwicklung Echtzeitsystem Model Checking Eingebettetes System Verifikation Fehlertoleranz Konferenzschrift > 2000 > Poona
Online-Zugang:	DE-91 DE-384 DE-19 DE-739 Volltext
Beschreibung:	1 Online-Ressource (X, 303 S.)
ISBN:	3540410554 9783540410553
DOI:	10.1007/3-540-45352-0

Internformat

MARC


LEADER	00000nam a22000008cb4500
001	BV035102687
003	DE-604
007	cr\|uuu---uuuuu
008	081016s2000 gw o\|\|\|\| 10\|\|\| eng d
020			\|a 3540410554 \|9 3-540-41055-4
020			\|a 9783540410553 \|9 978-3-540-41055-3
024	7		\|a 10.1007/3-540-45352-0 \|2 doi
035			\|a (OCoLC)313677010
035			\|a (DE-599)BVBBV035102687
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-19 \|a DE-91 \|a DE-739 \|a DE-384
082	0		\|a 004.33
084			\|a DAT 260f \|2 stub
084			\|a DAT 286f \|2 stub
245	1	0	\|a Formal techniques in real time and fault tolerant systems \|b 6th international symposium, FTRTFT 2000, Pune, India, September 20 - 22, 2000 ; proceedings \|c Mathai Joseph (ed.)
264		1	\|a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London \|b Springer \|c 2000
300			\|a 1 Online-Ressource (X, 303 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 1926
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 Echtzeitsystem \|0 (DE-588)4131397-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Model Checking \|0 (DE-588)4434799-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Eingebettetes System \|0 (DE-588)4396978-1 \|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 2000 \|z Poona \|2 gnd-content
689	0	0	\|a Echtzeitsystem \|0 (DE-588)4131397-5 \|D s
689	0		\|5 DE-604
689	1	0	\|a Fehlertoleranz \|0 (DE-588)4123192-2 \|D s
689	1		\|5 DE-604
689	2	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	2	1	\|a Echtzeitsystem \|0 (DE-588)4131397-5 \|D s
689	2	2	\|a Eingebettetes System \|0 (DE-588)4396978-1 \|D s
689	2	3	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	2		\|5 DE-604
689	3	0	\|a Eingebettetes System \|0 (DE-588)4396978-1 \|D s
689	3	1	\|a Echtzeitsystem \|0 (DE-588)4131397-5 \|D s
689	3	2	\|a Fehlertoleranz \|0 (DE-588)4123192-2 \|D s
689	3		\|5 DE-604
689	4	0	\|a Echtzeitsystem \|0 (DE-588)4131397-5 \|D s
689	4	1	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	4	2	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	4	3	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	4		\|5 DE-604
700	1		\|a Joseph, Mathai \|d 1943- \|e Sonstige \|0 (DE-588)122413547 \|4 oth
711	2		\|a FTRTFT \|n 6 \|d 2000 \|c Puṇe \|j Sonstige \|0 (DE-588)10007285-9 \|4 oth
830		0	\|a Lecture notes in computer science \|v 1926 \|w (DE-604)BV014880109 \|9 1926
856	4	0	\|u https://doi.org/10.1007/3-540-45352-0 \|x Verlag \|3 Volltext
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-016770644
966	e		\|u https://doi.org/10.1007/3-540-45352-0 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-45352-0 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-45352-0 \|l DE-19 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-45352-0 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875079142080512
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
author_GND	(DE-588)122413547
building	Verbundindex
bvnumber	BV035102687
classification_rvk	SS 4800
classification_tum	DAT 260f DAT 286f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)313677010 (DE-599)BVBBV035102687
dewey-full	004.33
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.33
dewey-search	004.33
dewey-sort	14.33
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/3-540-45352-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 a22000008cb4500</leader><controlfield tag="001">BV035102687</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">081016s2000 gw o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540410554</subfield><subfield code="9">3-540-41055-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540410553</subfield><subfield code="9">978-3-540-41055-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/3-540-45352-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)313677010</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035102687</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.33</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 260f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 286f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal techniques in real time and fault tolerant systems</subfield><subfield code="b">6th international symposium, FTRTFT 2000, Pune, India, September 20 - 22, 2000 ; proceedings</subfield><subfield code="c">Mathai Joseph (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 303 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">1926</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">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</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">2000</subfield><subfield code="z">Poona</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</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">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="1"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="2"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="2"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" 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="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Joseph, Mathai</subfield><subfield code="d">1943-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)122413547</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FTRTFT</subfield><subfield code="n">6</subfield><subfield code="d">2000</subfield><subfield code="c">Puṇe</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10007285-9</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">1926</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">1926</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/3-540-45352-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</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-016770644</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-45352-0</subfield><subfield code="l">DE-91</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/3-540-45352-0</subfield><subfield code="l">DE-384</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/3-540-45352-0</subfield><subfield code="l">DE-19</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/3-540-45352-0</subfield><subfield code="l">DE-739</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 2000 Poona gnd-content
genre_facet	Konferenzschrift 2000 Poona
id	DE-604.BV035102687
illustrated	Not Illustrated
index_date	2024-07-02T22:14:45Z
indexdate	2025-01-10T15:09:56Z
institution	BVB
institution_GND	(DE-588)10007285-9
isbn	3540410554 9783540410553
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016770644
oclc_num	313677010
open_access_boolean
owner	DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384
owner_facet	DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384
physical	1 Online-Ressource (X, 303 S.)
psigel	ZDB-2-LNC
publishDate	2000
publishDateSearch	2000
publishDateSort	2000
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Formal techniques in real time and fault tolerant systems 6th international symposium, FTRTFT 2000, Pune, India, September 20 - 22, 2000 ; proceedings Mathai Joseph (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2000 1 Online-Ressource (X, 303 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 1926 Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2000 Poona gnd-content Echtzeitsystem (DE-588)4131397-5 s DE-604 Fehlertoleranz (DE-588)4123192-2 s Softwareentwicklung (DE-588)4116522-6 s Eingebettetes System (DE-588)4396978-1 s Formale Methode (DE-588)4333722-3 s Model Checking (DE-588)4434799-6 s Verifikation (DE-588)4135577-5 s Joseph, Mathai 1943- Sonstige (DE-588)122413547 oth FTRTFT 6 2000 Puṇe Sonstige (DE-588)10007285-9 oth Lecture notes in computer science 1926 (DE-604)BV014880109 1926 https://doi.org/10.1007/3-540-45352-0 Verlag Volltext
spellingShingle	Formal techniques in real time and fault tolerant systems 6th international symposium, FTRTFT 2000, Pune, India, September 20 - 22, 2000 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Echtzeitsystem (DE-588)4131397-5 gnd Model Checking (DE-588)4434799-6 gnd Eingebettetes System (DE-588)4396978-1 gnd Verifikation (DE-588)4135577-5 gnd Fehlertoleranz (DE-588)4123192-2 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4131397-5 (DE-588)4434799-6 (DE-588)4396978-1 (DE-588)4135577-5 (DE-588)4123192-2 (DE-588)1071861417
title	Formal techniques in real time and fault tolerant systems 6th international symposium, FTRTFT 2000, Pune, India, September 20 - 22, 2000 ; proceedings
title_auth	Formal techniques in real time and fault tolerant systems 6th international symposium, FTRTFT 2000, Pune, India, September 20 - 22, 2000 ; proceedings
title_exact_search	Formal techniques in real time and fault tolerant systems 6th international symposium, FTRTFT 2000, Pune, India, September 20 - 22, 2000 ; proceedings
title_exact_search_txtP	Formal techniques in real time and fault tolerant systems 6th international symposium, FTRTFT 2000, Pune, India, September 20 - 22, 2000 ; proceedings
title_full	Formal techniques in real time and fault tolerant systems 6th international symposium, FTRTFT 2000, Pune, India, September 20 - 22, 2000 ; proceedings Mathai Joseph (ed.)
title_fullStr	Formal techniques in real time and fault tolerant systems 6th international symposium, FTRTFT 2000, Pune, India, September 20 - 22, 2000 ; proceedings Mathai Joseph (ed.)
title_full_unstemmed	Formal techniques in real time and fault tolerant systems 6th international symposium, FTRTFT 2000, Pune, India, September 20 - 22, 2000 ; proceedings Mathai Joseph (ed.)
title_short	Formal techniques in real time and fault tolerant systems
title_sort	formal techniques in real time and fault tolerant systems 6th international symposium ftrtft 2000 pune india september 20 22 2000 proceedings
title_sub	6th international symposium, FTRTFT 2000, Pune, India, September 20 - 22, 2000 ; proceedings
topic	Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Echtzeitsystem (DE-588)4131397-5 gnd Model Checking (DE-588)4434799-6 gnd Eingebettetes System (DE-588)4396978-1 gnd Verifikation (DE-588)4135577-5 gnd Fehlertoleranz (DE-588)4123192-2 gnd
topic_facet	Formale Methode Softwareentwicklung Echtzeitsystem Model Checking Eingebettetes System Verifikation Fehlertoleranz Konferenzschrift 2000 Poona
url	https://doi.org/10.1007/3-540-45352-0
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT josephmathai formaltechniquesinrealtimeandfaulttolerantsystems6thinternationalsymposiumftrtft2000puneindiaseptember20222000proceedings AT ftrtftpune formaltechniquesinrealtimeandfaulttolerantsystems6thinternationalsymposiumftrtft2000puneindiaseptember20222000proceedings

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