Open AccessAn efficient state space generation for analysis of real-time systems
Author(s) -
Inhye Kang,
Insup Lee
Publication year - 1996
Publication title -
acm sigsoft software engineering notes
Language(s) - English
Resource type - Journals
eISSN - 1943-5843
pISSN - 0163-5948
DOI - 10.1145/226295.226297
Subject(s) - bisimulation , state space , state (computer science) , observable , algorithm , transition system , representation (politics) , space time , spacetime , space (punctuation) , state space representation , computer science , equivalence (formal languages) , mathematics , theoretical computer science , discrete mathematics , engineering , physics , statistics , quantum mechanics , chemical engineering , politics , political science , law , operating system
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom