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