Coloured Petri net refinement specification and correctness proof with Coq

By Choppy Christine  

Innovations in Systems and Software Engineering, Vol. 6, Iss. 3, 2010-09 ,pp. : 195-202

Springer Publishing Company

Access to resources Recommend Favorite

A compositional -calculus proof system for statecharts processes

By Levi F.  

Theoretical Computer Science, Vol. 216, Iss. 1, 1999-03 ,pp. : 271-310

Elsevier

Access to resources Recommend Favorite

TRANSITION MATRIX COMPUTATION FOR A PERIODICALLY TIME-VARYING SYSTEM

By SALEH A.O.M.   LAUGHTON M.A.  

COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 13, Iss. 2, 1993-12 ,pp. : 427-437

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

A Mobile Cloud Computing System for Mathematical Computation

By  

International Journal of Grid and High Performance Computing (IJGHPC), Vol. 7, Iss. 3, 2015-07 ,pp. : 36-53

IGI Global_journal

Access to resources Recommend Favorite

A Constructive Algebraic Hierarchy in Coq

By Geuvers H.   Pollack R.   Wiedijk F.   Zwanenburg J.  

Journal of Symbolic Computation, Vol. 34, Iss. 4, 2002-10 ,pp. : 271-286

Academic Press

Access to resources Recommend Favorite