Formal methods in manufacturing

Formal Methods in Manufacturing

Volumn , Issue , 2014, Pages 1-683

  Campos, Javier ^a   Seatzu, Carla ^b   Xie, Xiaolan ^c  

^a Aragn Institute for Engineering Research   (Spain)

^b UNIVERSITY OF CAGLIARI   (Italy)

^c ECOLE DES MINES DE SAINT ETIENNE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE EVENT SIMULATION; FORMAL METHODS; PETRI NETS;

DEADLOCK PREVENTION; DESIGN AND OPERATIONS; DIAGNOSABILITY ANALYSIS; FUNDAMENTAL PRINCIPLES; MODEL AND SIMULATION; PERFORMANCE EVALUATIONS; SPECIFIC PROBLEMS; SUPERVISORY CONTROL;

MANUFACTURE;

EID: 84928019458     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Book

References (0)