Vol-3391⫷ Vol-3392 ⫸Vol-3393
urn:nbn:de:0074-3392-0


Vol-3392/paper5⫷Vol-3392/paper6⫸Vol-3392/paper7
Vadym ShkarupyloIhor BlinovValentyna DushebaJamil Abedalrahim Jamil Alsayaydeh

Case Driven TLC Model Checker Analysis in Energy Scenario