Organization principles and functional capabilities of the POTOK software package used for aerodynamic experiment automation

By Petronevich V.  

Automation and Remote Control, Vol. 71, Iss. 11, 2010-11 ,pp. : 2475-2482

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Predictable real-time software synthesis

By Huang Jinfeng   Voeten Jeroen   Corporaal Henk  

Real-Time Systems, Vol. 36, Iss. 3, 2007-08 ,pp. : 159-198

Springer Publishing Company

Access to resources Recommend Favorite

Verification, refinement and scheduling of real-time programs

By Liu Z.   Joseph M.  

Theoretical Computer Science, Vol. 253, Iss. 1, 2001-02 ,pp. : 119-152

Elsevier

Access to resources Recommend Favorite

Dependable, Intelligent Voting for Real-time Control Software

By Croll P.R.   Sharkey A.J.C.   Bass J.M.   Sharkey N.E.   Fleming P.J.  

Engineering Applications of Artificial Intelligence, Vol. 8, Iss. 6, 1995-12 ,pp. : 615-623

Elsevier

Access to resources Recommend Favorite

Real-time virtual machines for avionics software migration

By Sha Lui   Lee Chang-Gun  

International Journal of Embedded Systems, Vol. 2, Iss. 3-4, 2007-08 ,pp. : 156-165

Inderscience Publishers

Access to resources Recommend Favorite