Efficient verification of timed automata with BDD-like data structures

By Wang Farn  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 1, 2004-07 ,pp. : 77-97

Springer Publishing Company

Access to resources Recommend Favorite

Model Checking of Time Petri Nets Using the State Class Timed Automaton

By Lime Didier   Roux Olivier  

Discrete Event Dynamic Systems, Vol. 16, Iss. 2, 2006-04 ,pp. : 179-205

Springer Publishing Company

Access to resources Recommend Favorite

Presburger liveness verification of discrete timed automata

By Dang Z.   Pietro P.S.   Kemmerer R.A.  

Theoretical Computer Science, Vol. 299, Iss. 1, 2003-04 ,pp. : 413-438

Elsevier

Access to resources Recommend Favorite

Physical hypermedia: augmenting physical material with hypermedia structures

By Grønbæk Kaj   Ørbæk Peter   Kristensen Jannie   Eriksen Mette Agger  

New Review in Hypermedia and Multimedia, Vol. 9, Iss. 1, 2003-01 ,pp. : 5-34

Taylor & Francis Ltd

Access to resources Recommend Favorite

A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation

By Takai Shigemasa   Ushio Toshimitsu  

Discrete Event Dynamic Systems, Vol. 16, Iss. 2, 2006-04 ,pp. : 257-278

Springer Publishing Company

Access to resources Recommend Favorite