Early verification and validation of mission critical systems

Author： Ponsard C.   Massonet P.   Molderez J.   Rifaut A.   Lamsweerde A.   Van H.  

Publisher： Springer Publishing Company

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.30, Iss.3, 2007-06, pp. : 233-247

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Validation and verification of intelligent systems - what are they and how are they different?

By Gonzalez Avelino J.   Barr Valerie  

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 12, Iss. 4, 2000-10 ,pp. : 407-420

Taylor & Francis Ltd

Access to resources Recommend Favorite

Synergistic verification and validation of systems and software engineering models

By Jarraya Yosr  

International Journal of General Systems, Vol. 38, Iss. 7, 2009-10 ,pp. : 719-746

Taylor & Francis Ltd

Access to resources Recommend Favorite

Component survivability at runtime for mission-critical distributed systems

By Park Joon   Chandramohan Pratheep   Suresh Avinash   Giordano Joseph   Kwiat Kevin  

The Journal of Supercomputing, Vol. 66, Iss. 3, 2013-12 ,pp. : 1390-1417

Springer Publishing Company

Access to resources Recommend Favorite

Verification and validation in railway signalling engineering – an application of enterprise systems techniques

By        

Enterprise Information Systems, Vol. 8, Iss. 4, 2014-07 ,pp. : 490-511

Taylor & Francis Ltd

Access to resources Recommend Favorite

Validation of intelligent systems: a critical study and a tool

By Mosqueira-Rey E.   Moret-Bonillo V.  

Expert Systems with Applications, Vol. 18, Iss. 1, 2000-01 ,pp. : 1-16

Elsevier

Access to resources Recommend Favorite