Pretraga

Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 1192876

Signalling Protocol Synthesis: Intelligent Network Experiment

Blašković, Bruno
Signalling Protocol Synthesis: Intelligent Network Experiment // Proceedings of 5th Conference on Software in Telecommunications and Computer Networks / Rožić, N. ; Begušić, D. (ur.).
Split: Fakultet elektrotehnike, strojarstva i brodogradnje Sveučilišta u Splitu, 1997. str. 123-132 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

CROSBI ID: 1192876 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Signalling Protocol Synthesis: Intelligent Network Experiment

Autori
Blašković, Bruno

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of 5th Conference on Software in Telecommunications and Computer Networks / Rožić, N. ; Begušić, D. - Split : Fakultet elektrotehnike, strojarstva i brodogradnje Sveučilišta u Splitu, 1997, 123-132

ISBN
953-6114-21-6

Skup
SoftCOM '97

Mjesto i datum
Split, Hrvatska, 19.10.1997

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
protocol synthesis ; intelligent network ; Petri Nets ; PROMELA/SPIN ; CLIPS

Sažetak
In this paper the method for protocol synthesis is described. Three level of problems are identified and discussed: requirements definition, requirement verification and protocol synthesis. CLIPS, PROD and PROMELA/SPIN are used during protocol synthesis and requirements verification and partialy through requirements definition as well as mechanical proof for correctness of synthesized protocol. The method for protocol synthesis consists of the seven steps presented through an example considering protocol from intelligent network domain.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika, Računarstvo



POVEZANOST RADA

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Bruno Blašković (autor)

Citiraj ovu publikaciju:

Blašković, Bruno
Signalling Protocol Synthesis: Intelligent Network Experiment // Proceedings of 5th Conference on Software in Telecommunications and Computer Networks / Rožić, N. ; Begušić, D. (ur.).
Split: Fakultet elektrotehnike, strojarstva i brodogradnje Sveučilišta u Splitu, 1997. str. 123-132 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Blašković, B. (1997) Signalling Protocol Synthesis: Intelligent Network Experiment. U: Rožić, N. & Begušić, D. (ur.)Proceedings of 5th Conference on Software in Telecommunications and Computer Networks.
@article{article, author = {Bla\v{s}kovi\'{c}, Bruno}, year = {1997}, pages = {123-132}, keywords = {protocol synthesis, intelligent network, Petri Nets, PROMELA/SPIN, CLIPS}, isbn = {953-6114-21-6}, title = {Signalling Protocol Synthesis: Intelligent Network Experiment}, keyword = {protocol synthesis, intelligent network, Petri Nets, PROMELA/SPIN, CLIPS}, publisher = {Fakultet elektrotehnike, strojarstva i brodogradnje Sveu\v{c}ili\v{s}ta u Splitu}, publisherplace = {Split, Hrvatska} }
@article{article, author = {Bla\v{s}kovi\'{c}, Bruno}, year = {1997}, pages = {123-132}, keywords = {protocol synthesis, intelligent network, Petri Nets, PROMELA/SPIN, CLIPS}, isbn = {953-6114-21-6}, title = {Signalling Protocol Synthesis: Intelligent Network Experiment}, keyword = {protocol synthesis, intelligent network, Petri Nets, PROMELA/SPIN, CLIPS}, publisher = {Fakultet elektrotehnike, strojarstva i brodogradnje Sveu\v{c}ili\v{s}ta u Splitu}, publisherplace = {Split, Hrvatska} }

Podijeli:





Contrast
Increase Font
Decrease Font
Dyslexic Font
CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.