An Approach to Modeling and Verification of Real-Time Systems.

Roman Gumzej, Matjaz Colnaric

Browse the full ISORC paper archive.