Analysis of Timed Systems Using Time-Abstracting Bisimulations
Formal Methods in System Design
Timed Wp-Method: Testing Real-Time Systems
IEEE Transactions on Software Engineering
Synthesizing distinguishing formulae for real time systems
Nordic Journal of Computing
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Grid automata and supervisory control of dense real-time discrete event systems
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Grid automata and supervisory control of dense real-time discrete event systems
Mathematics and Computers in Simulation
A guided method for testing timed input output automata
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
On decidability of prebisimulation for timed automata
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
A test purpose-based approach for testing timed input output automata
Software Testing, Verification & Reliability
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |