Verifying distributed real-time properties of embedded systems via graph transformations and model checking

By Madl Gabor   Abdelwahed Sherif   Schmidt Douglas  

Real-Time Systems, Vol. 33, Iss. 1-3, 2006-07 ,pp. : 77-100

Springer Publishing Company

Access to resources Recommend Favorite

Real-time control of video surveillance systems with program supervision techniques

By Georis B.   Brémond F.   Thonnat M.  

Machine Vision and Applications, Vol. 18, Iss. 3-4, 2007-08 ,pp. : 189-205

Springer Publishing Company

Access to resources Recommend Favorite

Privacy in Real-Time Systems

By Lanotte R.   Maggiolo-Schettini A.   Tini S.  

Electronic Notes in Theoretical Computer Science, Vol. 52, Iss. 3, 2004-01 ,pp. : 1-11

Elsevier

Access to resources Recommend Favorite

A Novel Path Planning to Provide Real-Time Backup Paths for Vehicle Navigation Systems

By  

International Journal of Grid and High Performance Computing (IJGHPC), Vol. 5, Iss. 3, 2013-07 ,pp. : 20-33

IGI Global_journal

Access to resources Recommend Favorite

Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines

By Furfaro Angelo   Nigro Libero   Pupo Francesco  

Real-Time Systems, Vol. 32, Iss. 1-2, 2006-02 ,pp. : 105-123

Springer Publishing Company

Access to resources Recommend Favorite