Journal: Simulation

Volume 86, Issue 7

395 -- 404Lin Li, Yavuz A. Bozer. Retrieval Strategies for Multi-tier Automated Carousel Conveyors with Multiple Robots
405 -- 416Stewart Robinson, Roger J. Brooks. Independent Verification and Validation of an Industrial Simulation Model
417 -- 427Mohammad Reza Bank Tavakoli, Behrooz Vahidi. Dynamic Simulation of Lightning Attachment to Earthed Overhead Transmission Line Structures
429 -- 452Márk Asztalos, István Madari, László Lengyel. Towards Formal Analysis of Multi-paradigm Model Transformations