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

Verification and validation of simulation models

By Sargent R G  

Journal of Simulation, Vol. 7, Iss. 1, 2013-02 ,pp. : 12-24

Palgrave Macmillan Ltd

Access to resources Recommend Favorite

A model checking-based approach for security policy verification of mobile systems

By Braghin Chiara  

Formal Aspects of Computing, Vol. 23, Iss. 5, 2011-09 ,pp. : 627-648

Springer Publishing Company

Access to resources Recommend Favorite

A Bounded Model Checking Approach for the Verification of Web Services Composition

By  

International Journal of Web Services Research (IJWSR), Vol. 10, Iss. 4, 2013-10 ,pp. : 62-81

IGI Global_journal

Access to resources Recommend Favorite

A model decomposition approach for a manufacturing enterprise in Business Process Reengineering

By JANG KI-JIN  

International Journal of Computer Integrated Manufacturing, Vol. 16, Iss. 3, 2003-04 ,pp. : 210-218

Taylor & Francis Ltd

Access to resources Recommend Favorite