Introduction to the special session on formal verification of telecommunications systems

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kapus, T., Jezic, G.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Communication industry Computer science Formal specifications Formal verification Mobile radio mobility management Protocols Special issues and sections System testing Telecommunication computing Unified modeling language
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	609
container_issue
container_start_page	609
container_title
container_volume	2
creator	Kapus, T. Jezic, G.
description
doi_str_mv	10.1109/CONTEL.2005.185967
format	Conference Proceeding
fullrecord	<record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_1458646</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1458646</ieee_id><sourcerecordid>1458646</sourcerecordid><originalsourceid>FETCH-LOGICAL-i175t-44284e92a2e586043506030e5fb5b09181a4e0755883ca81f8471e5787d320243</originalsourceid><addsrcrecordid>eNo1jN9KwzAYxSMiqLMvoDd5gc4v_5rkUsp0g-JuJng3su4LRtpmNJmwt7fqPBw4nB-HQ8g9gzljYB_r9etm0cw5gJozo2ylL0hhtbFKMCPBSH5Jbv8Lk9ekSOkTJglbKQ035H015DHuj20OcaA50vyBNB2wDa6jCVP6wZN9HPuJfOEYfGjd7zp6mrHDNvb9cTjDRNMpZezTHbnyrktYnHNG3p4Xm3pZNuuXVf3UlIFplUspuZFoueOoTAVSKKhAACq_UzuwzDAnEbRSxojWGeaN1AyVNnovOHApZuTh7zcg4vYwht6Npy2T05usxDdSaVMu</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Introduction to the special session on formal verification of telecommunications systems</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Kapus, T. ; Jezic, G.</creator><creatorcontrib>Kapus, T. ; Jezic, G.</creatorcontrib><identifier>ISBN: 9531840814</identifier><identifier>ISBN: 9789531840811</identifier><identifier>EISBN: 9789531840842</identifier><identifier>EISBN: 9531840849</identifier><identifier>DOI: 10.1109/CONTEL.2005.185967</identifier><language>eng</language><publisher>IEEE</publisher><subject>Communication industry ; Computer science ; Formal specifications ; Formal verification ; Mobile radio mobility management ; Protocols ; Special issues and sections ; System testing ; Telecommunication computing ; Unified modeling language</subject><ispartof>Proceedings of the 8th International Conference on Telecommunications, 2005. ConTEL 2005, 2005, Vol.2, p.609-609</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/1458646$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2052,4036,4037,27902,54895</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/1458646$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Kapus, T.</creatorcontrib><creatorcontrib>Jezic, G.</creatorcontrib><title>Introduction to the special session on formal verification of telecommunications systems</title><title>Proceedings of the 8th International Conference on Telecommunications, 2005. ConTEL 2005</title><addtitle>CONTEL</addtitle><subject>Communication industry</subject><subject>Computer science</subject><subject>Formal specifications</subject><subject>Formal verification</subject><subject>Mobile radio mobility management</subject><subject>Protocols</subject><subject>Special issues and sections</subject><subject>System testing</subject><subject>Telecommunication computing</subject><subject>Unified modeling language</subject><isbn>9531840814</isbn><isbn>9789531840811</isbn><isbn>9789531840842</isbn><isbn>9531840849</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2005</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNo1jN9KwzAYxSMiqLMvoDd5gc4v_5rkUsp0g-JuJng3su4LRtpmNJmwt7fqPBw4nB-HQ8g9gzljYB_r9etm0cw5gJozo2ylL0hhtbFKMCPBSH5Jbv8Lk9ekSOkTJglbKQ035H015DHuj20OcaA50vyBNB2wDa6jCVP6wZN9HPuJfOEYfGjd7zp6mrHDNvb9cTjDRNMpZezTHbnyrktYnHNG3p4Xm3pZNuuXVf3UlIFplUspuZFoueOoTAVSKKhAACq_UzuwzDAnEbRSxojWGeaN1AyVNnovOHApZuTh7zcg4vYwht6Npy2T05usxDdSaVMu</recordid><startdate>2005</startdate><enddate>2005</enddate><creator>Kapus, T.</creator><creator>Jezic, G.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>2005</creationdate><title>Introduction to the special session on formal verification of telecommunications systems</title><author>Kapus, T. ; Jezic, G.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i175t-44284e92a2e586043506030e5fb5b09181a4e0755883ca81f8471e5787d320243</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2005</creationdate><topic>Communication industry</topic><topic>Computer science</topic><topic>Formal specifications</topic><topic>Formal verification</topic><topic>Mobile radio mobility management</topic><topic>Protocols</topic><topic>Special issues and sections</topic><topic>System testing</topic><topic>Telecommunication computing</topic><topic>Unified modeling language</topic><toplevel>online_resources</toplevel><creatorcontrib>Kapus, T.</creatorcontrib><creatorcontrib>Jezic, G.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Kapus, T.</au><au>Jezic, G.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Introduction to the special session on formal verification of telecommunications systems</atitle><btitle>Proceedings of the 8th International Conference on Telecommunications, 2005. ConTEL 2005</btitle><stitle>CONTEL</stitle><date>2005</date><risdate>2005</risdate><volume>2</volume><spage>609</spage><epage>609</epage><pages>609-609</pages><isbn>9531840814</isbn><isbn>9789531840811</isbn><eisbn>9789531840842</eisbn><eisbn>9531840849</eisbn><pub>IEEE</pub><doi>10.1109/CONTEL.2005.185967</doi><tpages>1</tpages></addata></record>
fulltext	fulltext_linktorsrc
identifier	ISBN: 9531840814
ispartof	Proceedings of the 8th International Conference on Telecommunications, 2005. ConTEL 2005, 2005, Vol.2, p.609-609
issn
language	eng
recordid	cdi_ieee_primary_1458646
source	IEEE Electronic Library (IEL) Conference Proceedings
subjects	Communication industry Computer science Formal specifications Formal verification Mobile radio mobility management Protocols Special issues and sections System testing Telecommunication computing Unified modeling language
title	Introduction to the special session on formal verification of telecommunications systems
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-10T16%3A47%3A59IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Introduction%20to%20the%20special%20session%20on%20formal%20verification%20of%20telecommunications%20systems&rft.btitle=Proceedings%20of%20the%208th%20International%20Conference%20on%20Telecommunications,%202005.%20ConTEL%202005&rft.au=Kapus,%20T.&rft.date=2005&rft.volume=2&rft.spage=609&rft.epage=609&rft.pages=609-609&rft.isbn=9531840814&rft.isbn_list=9789531840811&rft_id=info:doi/10.1109/CONTEL.2005.185967&rft_dat=%3Cieee_6IE%3E1458646%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=9789531840842&rft.eisbn_list=9531840849&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=1458646&rfr_iscdi=true