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

Napredna pretraga

Pregled bibliografske jedinice broj: 636807

Formal Methods and Model Checking in Coordination Based Framework


Blašković Bruno; Knežević, Petar; Randić, Mirko
Formal Methods and Model Checking in Coordination Based Framework // Conference on Software in Telecommunications and Computer Networks SoftCOM`99 / N. Rožić (ur.).
Split: FESB-Split, 1999. str. 153-162 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)


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

Naslov
Formal Methods and Model Checking in Coordination Based Framework

Autori
Blašković Bruno ; Knežević, Petar ; Randić, Mirko

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

Izvornik
Conference on Software in Telecommunications and Computer Networks SoftCOM`99 / N. Rožić - Split : FESB-Split, 1999, 153-162

ISBN
953-6114-32-1

Skup
Conference on Software in Telecommunications and Computer Networks SoftCOM`99

Mjesto i datum
Split-Rijeka-Trieste-Venice, 13-16.10.1999

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
formal methods; model checking; coordination

Sažetak
Modeling and model checkings are important parts of system development. Because there are many suitable tools specialized for model checking and specification, coordination between various tools is introduced. TclTk based kernel application generate and automatically produce high level Petri Net layout as a coordination framework for desired problem solution. After the description of previous work from protocol synthesis problem domain, coordination framework is introduced and illustrated with two examples.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo



POVEZANOST RADA


Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Mirko Randić (autor)

Avatar Url Petar Knežević (autor)

Avatar Url Bruno Blašković (autor)


Citiraj ovu publikaciju:

Blašković Bruno; Knežević, Petar; Randić, Mirko
Formal Methods and Model Checking in Coordination Based Framework // Conference on Software in Telecommunications and Computer Networks SoftCOM`99 / N. Rožić (ur.).
Split: FESB-Split, 1999. str. 153-162 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Blašković Bruno, Knežević, P. & Randić, M. (1999) Formal Methods and Model Checking in Coordination Based Framework. U: N. Rožić (ur.)Conference on Software in Telecommunications and Computer Networks SoftCOM`99.
@article{article, author = {Kne\v{z}evi\'{c}, Petar and Randi\'{c}, Mirko}, year = {1999}, pages = {153-162}, keywords = {formal methods, model checking, coordination}, isbn = {953-6114-32-1}, title = {Formal Methods and Model Checking in Coordination Based Framework}, keyword = {formal methods, model checking, coordination}, publisher = {FESB-Split}, publisherplace = {Split-Rijeka-Trieste-Venice} }
@article{article, author = {Kne\v{z}evi\'{c}, Petar and Randi\'{c}, Mirko}, year = {1999}, pages = {153-162}, keywords = {formal methods, model checking, coordination}, isbn = {953-6114-32-1}, title = {Formal Methods and Model Checking in Coordination Based Framework}, keyword = {formal methods, model checking, coordination}, publisher = {FESB-Split}, publisherplace = {Split-Rijeka-Trieste-Venice} }




Contrast
Increase Font
Decrease Font
Dyslexic Font