BAL Tool in Flexible Manufacturing Systems
From MaRDI portal
Publication:3067478
DOI10.1007/978-3-642-17796-5_13zbMath1308.68084OpenAlexW1567767293MaRDI QIDQ3067478
Diego Pérez Leándrez, M. Carmen Ruiz, Juan José Pardo, Diego Cazorla
Publication date: 21 January 2011
Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10578/1373
Production models (90B30) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Uses Software
Cites Work