Santoso, Iman and Noche, Bernd and Ridwan, Asep and Bahauddin, Achmad and Ekawati, Ratna and Indrahanif, Muhammad (2015) Turnitin Formal Specification, Testing and Verification on the Truck Simulation. Operational Excellence in Logistics and Supply Chains, Hamburg Jerman, Proceedings of the Hamburg International Conference of Logistics (HICL). (Unpublished)