Model checking–based safety verification for railway signal safety protocol–I

Gespeichert in:

Autor*in:	Meng, Mei [verfasserIn] Zhongwei, Xu Xi, Wang Yongbing, Wan

Format:	Artikel

Erschienen:	2013

Umfang:	8

Übergeordnetes Werk:	Enthalten in: International journal of computer applications in technology - Geneva-Aeroport : Inderscience Enterprises, 1988, 46(2013), 3 vom: 1. Jan., Seite 195-202
Übergeordnetes Werk:	volume:46 ; year:2013 ; number:3 ; day:1 ; month:01 ; pages:195-202 ; extent:8

Katalog-ID:	OLC1915249171

Internformat


LEADER	01000caa a22002652 4500
001	OLC1915249171
003	DE-627
005	20220216072418.0
007	tu
008	130327s2013 xx \|\|\|\|\| 00\| \|\|und c
028	5	2	\|a sw130326_1
035			\|a (DE-627)OLC1915249171
035			\|a (DE-599)GBVOLC1915249171
040			\|a DE-627 \|b ger \|c DE-627 \|e rakwb
082	0	4	\|a 004
084			\|a 54.00 \|2 bkl
100	1		\|a Meng, Mei \|e verfasserin \|4 aut
245	1	0	\|a Model checking–based safety verification for railway signal safety protocol–I
264		1	\|c 2013
300			\|a 8
336			\|a Text \|b txt \|2 rdacontent
337			\|a ohne Hilfsmittel zu benutzen \|b n \|2 rdamedia
338			\|a Band \|b nc \|2 rdacarrier
700	1		\|a Zhongwei, Xu \|4 oth
700	1		\|a Xi, Wang \|4 oth
700	1		\|a Yongbing, Wan \|4 oth
773	0	8	\|i Enthalten in \|t International journal of computer applications in technology \|d Geneva-Aeroport : Inderscience Enterprises, 1988 \|g 46(2013), 3 vom: 1. Jan., Seite 195-202 \|w (DE-627)13046483X \|w (DE-600)740579-0 \|w (DE-576)063973049 \|x 0952-8091 \|7 nnns
773	1	8	\|g volume:46 \|g year:2013 \|g number:3 \|g day:1 \|g month:01 \|g pages:195-202 \|g extent:8
912			\|a GBV_USEFLAG_A
912			\|a SYSFLAG_A
912			\|a GBV_OLC
912			\|a SSG-OLC-MAT
912			\|a GBV_ILN_70
936	b	k	\|a 54.00 \|q AVZ
951			\|a AR
952			\|d 46 \|j 2013 \|e 3 \|b 1 \|c 1 \|h 195-202 \|g 8

Indexfelder

author_variant	m m mm
matchkey_str	article:09528091:2013----::oeceknbsdaeyeiiainoriwyi
hierarchy_sort_str	2013
bklnumber	54.00
publishDate	2013
allfields	sw130326_1 (DE-627)OLC1915249171 (DE-599)GBVOLC1915249171 DE-627 ger DE-627 rakwb 004 54.00 bkl Meng, Mei verfasserin aut Model checking–based safety verification for railway signal safety protocol–I 2013 8 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Zhongwei, Xu oth Xi, Wang oth Yongbing, Wan oth Enthalten in International journal of computer applications in technology Geneva-Aeroport : Inderscience Enterprises, 1988 46(2013), 3 vom: 1. Jan., Seite 195-202 (DE-627)13046483X (DE-600)740579-0 (DE-576)063973049 0952-8091 nnns volume:46 year:2013 number:3 day:1 month:01 pages:195-202 extent:8 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 54.00 AVZ AR 46 2013 3 1 1 195-202 8
spelling	sw130326_1 (DE-627)OLC1915249171 (DE-599)GBVOLC1915249171 DE-627 ger DE-627 rakwb 004 54.00 bkl Meng, Mei verfasserin aut Model checking–based safety verification for railway signal safety protocol–I 2013 8 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Zhongwei, Xu oth Xi, Wang oth Yongbing, Wan oth Enthalten in International journal of computer applications in technology Geneva-Aeroport : Inderscience Enterprises, 1988 46(2013), 3 vom: 1. Jan., Seite 195-202 (DE-627)13046483X (DE-600)740579-0 (DE-576)063973049 0952-8091 nnns volume:46 year:2013 number:3 day:1 month:01 pages:195-202 extent:8 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 54.00 AVZ AR 46 2013 3 1 1 195-202 8
allfields_unstemmed	sw130326_1 (DE-627)OLC1915249171 (DE-599)GBVOLC1915249171 DE-627 ger DE-627 rakwb 004 54.00 bkl Meng, Mei verfasserin aut Model checking–based safety verification for railway signal safety protocol–I 2013 8 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Zhongwei, Xu oth Xi, Wang oth Yongbing, Wan oth Enthalten in International journal of computer applications in technology Geneva-Aeroport : Inderscience Enterprises, 1988 46(2013), 3 vom: 1. Jan., Seite 195-202 (DE-627)13046483X (DE-600)740579-0 (DE-576)063973049 0952-8091 nnns volume:46 year:2013 number:3 day:1 month:01 pages:195-202 extent:8 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 54.00 AVZ AR 46 2013 3 1 1 195-202 8
allfieldsGer	sw130326_1 (DE-627)OLC1915249171 (DE-599)GBVOLC1915249171 DE-627 ger DE-627 rakwb 004 54.00 bkl Meng, Mei verfasserin aut Model checking–based safety verification for railway signal safety protocol–I 2013 8 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Zhongwei, Xu oth Xi, Wang oth Yongbing, Wan oth Enthalten in International journal of computer applications in technology Geneva-Aeroport : Inderscience Enterprises, 1988 46(2013), 3 vom: 1. Jan., Seite 195-202 (DE-627)13046483X (DE-600)740579-0 (DE-576)063973049 0952-8091 nnns volume:46 year:2013 number:3 day:1 month:01 pages:195-202 extent:8 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 54.00 AVZ AR 46 2013 3 1 1 195-202 8
allfieldsSound	sw130326_1 (DE-627)OLC1915249171 (DE-599)GBVOLC1915249171 DE-627 ger DE-627 rakwb 004 54.00 bkl Meng, Mei verfasserin aut Model checking–based safety verification for railway signal safety protocol–I 2013 8 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Zhongwei, Xu oth Xi, Wang oth Yongbing, Wan oth Enthalten in International journal of computer applications in technology Geneva-Aeroport : Inderscience Enterprises, 1988 46(2013), 3 vom: 1. Jan., Seite 195-202 (DE-627)13046483X (DE-600)740579-0 (DE-576)063973049 0952-8091 nnns volume:46 year:2013 number:3 day:1 month:01 pages:195-202 extent:8 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 54.00 AVZ AR 46 2013 3 1 1 195-202 8
source	Enthalten in International journal of computer applications in technology 46(2013), 3 vom: 1. Jan., Seite 195-202 volume:46 year:2013 number:3 day:1 month:01 pages:195-202 extent:8
sourceStr	Enthalten in International journal of computer applications in technology 46(2013), 3 vom: 1. Jan., Seite 195-202 volume:46 year:2013 number:3 day:1 month:01 pages:195-202 extent:8
format_phy_str_mv	Article
institution	findex.gbv.de
dewey-raw	004
isfreeaccess_bool	false
container_title	International journal of computer applications in technology
authorswithroles_txt_mv	Meng, Mei @@aut@@ Zhongwei, Xu @@oth@@ Xi, Wang @@oth@@ Yongbing, Wan @@oth@@
publishDateDaySort_date	2013-01-01T00:00:00Z
hierarchy_top_id	13046483X
dewey-sort	14
id	OLC1915249171
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC1915249171</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220216072418.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">130327s2013 xx \|\|\|\|\| 00\| \|\|und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">sw130326_1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1915249171</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1915249171</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.00</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Meng, Mei</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model checking–based safety verification for railway signal safety protocol–I</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">8</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zhongwei, Xu</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Xi, Wang</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yongbing, Wan</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">International journal of computer applications in technology</subfield><subfield code="d">Geneva-Aeroport : Inderscience Enterprises, 1988</subfield><subfield code="g">46(2013), 3 vom: 1. Jan., Seite 195-202</subfield><subfield code="w">(DE-627)13046483X</subfield><subfield code="w">(DE-600)740579-0</subfield><subfield code="w">(DE-576)063973049</subfield><subfield code="x">0952-8091</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:46</subfield><subfield code="g">year:2013</subfield><subfield code="g">number:3</subfield><subfield code="g">day:1</subfield><subfield code="g">month:01</subfield><subfield code="g">pages:195-202</subfield><subfield code="g">extent:8</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">54.00</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">46</subfield><subfield code="j">2013</subfield><subfield code="e">3</subfield><subfield code="b">1</subfield><subfield code="c">1</subfield><subfield code="h">195-202</subfield><subfield code="g">8</subfield></datafield></record></collection>
author	Meng, Mei
spellingShingle	Meng, Mei ddc 004 bkl 54.00 Model checking–based safety verification for railway signal safety protocol–I
authorStr	Meng, Mei
ppnlink_with_tag_str_mv	@@773@@(DE-627)13046483X
format	Article
dewey-ones	004 - Data processing & computer science
delete_txt_mv	keep
author_role	aut
collection	OLC
remote_str	false
illustrated	Not Illustrated
issn	0952-8091
topic_title	004 54.00 bkl Model checking–based safety verification for railway signal safety protocol–I
topic	ddc 004 bkl 54.00
topic_unstemmed	ddc 004 bkl 54.00
topic_browse	ddc 004 bkl 54.00
format_facet	Aufsätze Gedruckte Aufsätze
format_main_str_mv	Text Zeitschrift/Artikel
carriertype_str_mv	nc
author2_variant	x z xz w x wx w y wy
hierarchy_parent_title	International journal of computer applications in technology
hierarchy_parent_id	13046483X
dewey-tens	000 - Computer science, knowledge & systems
hierarchy_top_title	International journal of computer applications in technology
isfreeaccess_txt	false
familylinks_str_mv	(DE-627)13046483X (DE-600)740579-0 (DE-576)063973049
title	Model checking–based safety verification for railway signal safety protocol–I
ctrlnum	(DE-627)OLC1915249171 (DE-599)GBVOLC1915249171
title_full	Model checking–based safety verification for railway signal safety protocol–I
author_sort	Meng, Mei
journal	International journal of computer applications in technology
journalStr	International journal of computer applications in technology
isOA_bool	false
dewey-hundreds	000 - Computer science, information & general works
recordtype	marc
publishDateSort	2013
contenttype_str_mv	txt
container_start_page	195
author_browse	Meng, Mei
container_volume	46
physical	8
class	004 54.00 bkl
format_se	Aufsätze
author-letter	Meng, Mei
dewey-full	004
title_sort	model checking–based safety verification for railway signal safety protocol–i
title_auth	Model checking–based safety verification for railway signal safety protocol–I
collection_details	GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70
container_issue	3
title_short	Model checking–based safety verification for railway signal safety protocol–I
remote_bool	false
author2	Zhongwei, Xu Xi, Wang Yongbing, Wan
author2Str	Zhongwei, Xu Xi, Wang Yongbing, Wan
ppnlink	13046483X
mediatype_str_mv	n
isOA_txt	false
hochschulschrift_bool	false
author2_role	oth oth oth
up_date	2024-07-03T15:00:37.140Z
_version_	1803570472169766912
fullrecord_marcxml	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC1915249171</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220216072418.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">130327s2013 xx \|\|\|\|\| 00\| \|\|und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">sw130326_1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1915249171</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1915249171</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.00</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Meng, Mei</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model checking–based safety verification for railway signal safety protocol–I</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">8</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zhongwei, Xu</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Xi, Wang</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yongbing, Wan</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">International journal of computer applications in technology</subfield><subfield code="d">Geneva-Aeroport : Inderscience Enterprises, 1988</subfield><subfield code="g">46(2013), 3 vom: 1. Jan., Seite 195-202</subfield><subfield code="w">(DE-627)13046483X</subfield><subfield code="w">(DE-600)740579-0</subfield><subfield code="w">(DE-576)063973049</subfield><subfield code="x">0952-8091</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:46</subfield><subfield code="g">year:2013</subfield><subfield code="g">number:3</subfield><subfield code="g">day:1</subfield><subfield code="g">month:01</subfield><subfield code="g">pages:195-202</subfield><subfield code="g">extent:8</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">54.00</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">46</subfield><subfield code="j">2013</subfield><subfield code="e">3</subfield><subfield code="b">1</subfield><subfield code="c">1</subfield><subfield code="h">195-202</subfield><subfield code="g">8</subfield></datafield></record></collection>
score	7.39985

Nicht das Richtige dabei?

Schreiben Sie uns!

Model checking–based safety verification for railway signal safety protocol–I

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?