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

On Delaunay refinement for curved geometries

By Lisboa Adriano C.   Saldanha Rodney R.   Mesquita Renato C.   Takahashi Ricardo H.C.  

COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 29, Iss. 6, 2010-11 ,pp. : 1596-1605

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Data refinement based testing

By Faitelson David  

International Journal of Systems Assurance Engineering and Management, Vol. 2, Iss. 2, 2011-06 ,pp. : 144-154

Springer Publishing Company

Access to resources Recommend Favorite

A Refinement of the -measure for Stack Programs

By Covino E.   Pani G.  

Electronic Notes in Theoretical Computer Science, Vol. 90, Iss. 1, 2003-11 ,pp. : 37-44

Elsevier

Access to resources Recommend Favorite

Stabilization-Preserving Atomicity Refinement

By Nesterenko M.   Arora A.  

Journal of Parallel and Distributed Computing, Vol. 62, Iss. 5, 2002-05 ,pp. : 766-791

Academic Press

Access to resources Recommend Favorite