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

Author：

ISSN： 1751-7575

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

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

Related content

Data configurations in railway signalling engineering - an application of enterprise systems techniques

By Chen Xiangxian

Enterprise Information Systems, Vol. 7, Iss. 3, 2013-08 ,pp. : 354-374

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

Enterprise model verification and validation: an approach

By Chapurlat V. Kamsu-Foguem B. Prunet F.

Annual Reviews in Control, Vol. 27, Iss. 2, 2003-01 ,pp. : 185-197

Elsevier

Access to resources Recommend Favorite

Early verification and validation of mission critical systems

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

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

Springer Publishing Company

Access to resources Recommend Favorite

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