Feladatok közötti kommunikáció ellenőrzése
Az előadás bemutatja, hogy milyen módszerekkel lehet feladatok közötti kommunikációt megvalósító algoritmusokat leírni, majd azokat szimulálni és ellenőrizni. Az előadásban az UPPAAL és a PetriDotNet eszközöket fogjuk használni ilyen algoritmusok verifikálására.
Submitted by Micskei Zoltán on 2012. March 20. 15:58 | Last updated: 2012. March 20. 15:58