Solving production scheduling problems using advanced model checking tools

Author： Panopoulos Dimitrios   Metaxiotis Kostas  

Publisher： Inderscience Publishers

ISSN： 0952-8091

Source： International Journal of Computer Applications in Technology, Vol.26, Iss.1-2, 2006-06, pp. : 37-48

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

Production scheduling for injection molding manufacture using Petri Net model

By Wongwiwat Asawin   Bohez Erik L.J.   Pisuchpen Roongrat  

Assembly Automation, Vol. 33, Iss. 3, 2013-07 ,pp. : 282-293

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Checking JML specifications using an extensible software model checking framework

By   Rodríguez Edwin   Dwyer Matthew   Hatcliff John  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 3, 2006-06 ,pp. : 280-299

Springer Publishing Company

Access to resources Recommend Favorite

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

Analysing a stream authentication protocol using model checking

By Hopcroft Philippa   Lowe Gavin  

International Journal of Information Security (IJIS), Vol. 3, Iss. 1, 2004-10 ,pp. : 2-13

Springer Publishing Company

Access to resources Recommend Favorite

A new multiobjective genetic algorithm with heterogeneous population for solving flowshop scheduling problems

By Tamura Hiroyuki  

International Journal of Computer Integrated Manufacturing, Vol. 20, Iss. 5, 2007-07 ,pp. : 465-477

Taylor & Francis Ltd

Access to resources Recommend Favorite