A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol

Gespeichert in:

Autor*in:	Malik, R. [verfasserIn] Mühlfeld, R.

Format:	Artikel

Erschienen:	2003

Übergeordnetes Werk:	Enthalten in: Journal of universal computer science - Graz : Verl. d. Techn. Univ. Graz, 1996, 9(2003), 2, Seite 138-151
Übergeordnetes Werk:	volume:9 ; year:2003 ; number:2 ; pages:138-151

Katalog-ID:	OLC1680730940

Internformat


LEADER	01000caa a2200265 4500
001	OLC1680730940
003	DE-627
005	20230707183932.0
007	tu
008	051014s2003 xx \|\|\|\|\| 00\| \|\|und c
028	5	2	\|a CCTIB517
035			\|a (DE-627)OLC1680730940
035			\|a (DE-599)GBVOLC1680730940
040			\|a DE-627 \|b ger \|c DE-627 \|e rakwb
082	0	4	\|a 004
100	1		\|a Malik, R. \|e verfasserin \|4 aut
245	1	2	\|a A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol
264		1	\|c 2003
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 Mühlfeld, R. \|4 oth
773	0	8	\|i Enthalten in \|t Journal of universal computer science \|d Graz : Verl. d. Techn. Univ. Graz, 1996 \|g 9(2003), 2, Seite 138-151 \|w (DE-627)227517105 \|w (DE-600)1380397-9 \|w (DE-576)059351993 \|x 0948-695X \|7 nnns
773	1	8	\|g volume:9 \|g year:2003 \|g number:2 \|g pages:138-151
912			\|a GBV_USEFLAG_A
912			\|a SYSFLAG_A
912			\|a GBV_OLC
912			\|a SSG-OLC-MAT
912			\|a GBV_ILN_70
912			\|a GBV_ILN_2244
951			\|a AR
952			\|d 9 \|j 2003 \|e 2 \|h 138-151

Indexfelder

author_variant	r m rm
matchkey_str	article:0948695X:2003----::cssuyneiiainfmsaehrshp
hierarchy_sort_str	2003
publishDate	2003
allfields	CCTIB517 (DE-627)OLC1680730940 (DE-599)GBVOLC1680730940 DE-627 ger DE-627 rakwb 004 Malik, R. verfasserin aut A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol 2003 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Mühlfeld, R. oth Enthalten in Journal of universal computer science Graz : Verl. d. Techn. Univ. Graz, 1996 9(2003), 2, Seite 138-151 (DE-627)227517105 (DE-600)1380397-9 (DE-576)059351993 0948-695X nnns volume:9 year:2003 number:2 pages:138-151 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 GBV_ILN_2244 AR 9 2003 2 138-151
spelling	CCTIB517 (DE-627)OLC1680730940 (DE-599)GBVOLC1680730940 DE-627 ger DE-627 rakwb 004 Malik, R. verfasserin aut A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol 2003 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Mühlfeld, R. oth Enthalten in Journal of universal computer science Graz : Verl. d. Techn. Univ. Graz, 1996 9(2003), 2, Seite 138-151 (DE-627)227517105 (DE-600)1380397-9 (DE-576)059351993 0948-695X nnns volume:9 year:2003 number:2 pages:138-151 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 GBV_ILN_2244 AR 9 2003 2 138-151
allfields_unstemmed	CCTIB517 (DE-627)OLC1680730940 (DE-599)GBVOLC1680730940 DE-627 ger DE-627 rakwb 004 Malik, R. verfasserin aut A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol 2003 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Mühlfeld, R. oth Enthalten in Journal of universal computer science Graz : Verl. d. Techn. Univ. Graz, 1996 9(2003), 2, Seite 138-151 (DE-627)227517105 (DE-600)1380397-9 (DE-576)059351993 0948-695X nnns volume:9 year:2003 number:2 pages:138-151 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 GBV_ILN_2244 AR 9 2003 2 138-151
allfieldsGer	CCTIB517 (DE-627)OLC1680730940 (DE-599)GBVOLC1680730940 DE-627 ger DE-627 rakwb 004 Malik, R. verfasserin aut A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol 2003 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Mühlfeld, R. oth Enthalten in Journal of universal computer science Graz : Verl. d. Techn. Univ. Graz, 1996 9(2003), 2, Seite 138-151 (DE-627)227517105 (DE-600)1380397-9 (DE-576)059351993 0948-695X nnns volume:9 year:2003 number:2 pages:138-151 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 GBV_ILN_2244 AR 9 2003 2 138-151
allfieldsSound	CCTIB517 (DE-627)OLC1680730940 (DE-599)GBVOLC1680730940 DE-627 ger DE-627 rakwb 004 Malik, R. verfasserin aut A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol 2003 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Mühlfeld, R. oth Enthalten in Journal of universal computer science Graz : Verl. d. Techn. Univ. Graz, 1996 9(2003), 2, Seite 138-151 (DE-627)227517105 (DE-600)1380397-9 (DE-576)059351993 0948-695X nnns volume:9 year:2003 number:2 pages:138-151 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 GBV_ILN_2244 AR 9 2003 2 138-151
source	Enthalten in Journal of universal computer science 9(2003), 2, Seite 138-151 volume:9 year:2003 number:2 pages:138-151
sourceStr	Enthalten in Journal of universal computer science 9(2003), 2, Seite 138-151 volume:9 year:2003 number:2 pages:138-151
format_phy_str_mv	Article
institution	findex.gbv.de
dewey-raw	004
isfreeaccess_bool	false
container_title	Journal of universal computer science
authorswithroles_txt_mv	Malik, R. @@aut@@ Mühlfeld, R. @@oth@@
publishDateDaySort_date	2003-01-01T00:00:00Z
hierarchy_top_id	227517105
dewey-sort	14
id	OLC1680730940
fullrecord_marcxml	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a2200265 4500</leader><controlfield tag="001">OLC1680730940</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230707183932.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">051014s2003 xx \|\|\|\|\| 00\| \|\|und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">CCTIB517</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1680730940</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1680730940</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="100" ind1="1" ind2=" "><subfield code="a">Malik, R.</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="2"><subfield code="a">A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2003</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">Mühlfeld, R.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Journal of universal computer science</subfield><subfield code="d">Graz : Verl. d. Techn. Univ. Graz, 1996</subfield><subfield code="g">9(2003), 2, Seite 138-151</subfield><subfield code="w">(DE-627)227517105</subfield><subfield code="w">(DE-600)1380397-9</subfield><subfield code="w">(DE-576)059351993</subfield><subfield code="x">0948-695X</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:9</subfield><subfield code="g">year:2003</subfield><subfield code="g">number:2</subfield><subfield code="g">pages:138-151</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="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2244</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">9</subfield><subfield code="j">2003</subfield><subfield code="e">2</subfield><subfield code="h">138-151</subfield></datafield></record></collection>
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a2200265 4500</leader><controlfield tag="001">OLC1680730940</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230707183932.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">051014s2003 xx \|\|\|\|\| 00\| \|\|und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">CCTIB517</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1680730940</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1680730940</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="100" ind1="1" ind2=" "><subfield code="a">Malik, R.</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="2"><subfield code="a">A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2003</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">Mühlfeld, R.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Journal of universal computer science</subfield><subfield code="d">Graz : Verl. d. Techn. Univ. Graz, 1996</subfield><subfield code="g">9(2003), 2, Seite 138-151</subfield><subfield code="w">(DE-627)227517105</subfield><subfield code="w">(DE-600)1380397-9</subfield><subfield code="w">(DE-576)059351993</subfield><subfield code="x">0948-695X</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:9</subfield><subfield code="g">year:2003</subfield><subfield code="g">number:2</subfield><subfield code="g">pages:138-151</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="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2244</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">9</subfield><subfield code="j">2003</subfield><subfield code="e">2</subfield><subfield code="h">138-151</subfield></datafield></record></collection>
author	Malik, R.
spellingShingle	Malik, R. ddc 004 A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol
authorStr	Malik, R.
ppnlink_with_tag_str_mv	@@773@@(DE-627)227517105
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	0948-695X
topic_title	004 A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol
topic	ddc 004
topic_unstemmed	ddc 004
topic_browse	ddc 004
format_facet	Aufsätze Gedruckte Aufsätze
format_main_str_mv	Text Zeitschrift/Artikel
carriertype_str_mv	nc
author2_variant	r m rm
hierarchy_parent_title	Journal of universal computer science
hierarchy_parent_id	227517105
dewey-tens	000 - Computer science, knowledge & systems
hierarchy_top_title	Journal of universal computer science
isfreeaccess_txt	false
familylinks_str_mv	(DE-627)227517105 (DE-600)1380397-9 (DE-576)059351993
title	A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol
ctrlnum	(DE-627)OLC1680730940 (DE-599)GBVOLC1680730940
title_full	A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol
author_sort	Malik, R.
journal	Journal of universal computer science
journalStr	Journal of universal computer science
isOA_bool	false
dewey-hundreds	000 - Computer science, information & general works
recordtype	marc
publishDateSort	2003
contenttype_str_mv	txt
container_start_page	138
author_browse	Malik, R.
container_volume	9
class	004
format_se	Aufsätze
author-letter	Malik, R.
dewey-full	004
title_sort	case study in verification of uml statecharts: the profisafe protocol
title_auth	A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol
collection_details	GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_70 GBV_ILN_2244
container_issue	2
title_short	A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol
remote_bool	false
author2	Mühlfeld, R.
author2Str	Mühlfeld, R.
ppnlink	227517105
mediatype_str_mv	n
isOA_txt	false
hochschulschrift_bool	false
author2_role	oth
up_date	2024-07-03T18:37:00.624Z
_version_	1803584086349971456
score	7.4000425

Nicht das Richtige dabei?

Schreiben Sie uns!

A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?