Vol-1220⫷ Vol-1221 ⫸Vol-1222
urn:nbn:de:0074-1221-0


Vol-1221/paper36⫷Vol-1221/paper37⫸Vol-1221/paper38

CAN/TTCAN Sistemlerin UPPAAL Aracı ile Modellenmesi ve Zamanlama Doğrulaması