Pregled bibliografske jedinice broj: 636807
Formal Methods and Model Checking in Coordination Based Framework
Formal Methods and Model Checking in Coordination Based Framework // Conference on Software in Telecommunications and Computer Networks SoftCOM`99 / N. Rožić (ur.).
Split: Fakultet elektrotehnike, strojarstva i brodogradnje Sveučilišta u Splitu, 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 : Fakultet elektrotehnike, strojarstva i brodogradnje Sveučilišta u Splitu, 1999, 153-162
ISBN
953-6114-32-1
Skup
Conference on Software in Telecommunications and Computer Networks SoftCOM`99
Mjesto i datum
Venecija, Italija; Trst, Italija; Rijeka, Hrvatska; Split, Hrvatska, 13.10.1999. - 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
