Model Checking Complete Requirements Specifications Using Abstraction

By Bharadwaj R.  

Automated Software Engineering, Vol. 6, Iss. 1, 1999-01 ,pp. : 37-68

Springer Publishing Company

Access to resources Recommend Favorite

Using induction and rewriting to verify and complete parameterized specifications

By Bouhoula A.  

Theoretical Computer Science, Vol. 170, Iss. 1, 1996-12 ,pp. : 245-276

Elsevier

Access to resources Recommend Favorite

Using Simulation for the Validation of High Level Specifications of Control Systems

By Jumpamule Watcharee   Paillet Jean-Luc   Giambiasi Norbert  

Journal of Intelligent and Robotic Systems, Vol. 38, Iss. 3-4, 2003-12 ,pp. : 345-375

Springer Publishing Company

Access to resources Recommend Favorite

Using business process specifications and agents to integrate a scenario-driven supply chain

By Cho Hyunbo  

International Journal of Computer Integrated Manufacturing, Vol. 17, Iss. 6, 2004-09 ,pp. : 546-560

Taylor & Francis Ltd

Access to resources Recommend Favorite

Program Synthesis from Formal Requirements Specifications Using APTS

By Leonard E.I.  

LISP and Symbolic Computation, Vol. 16, Iss. 1-2, 2003-03 ,pp. : 63-92

Springer Publishing Company

Access to resources Recommend Favorite