Search for collections on EPrints Repository UNTIRTA
Items where Author is "Indrahanif, Muhammad"
 | Up a level |
Group by: Item Type | No Grouping
Number of items: 2.
Santoso, Iman and Noche, Bernd and Ridwan, Asep and Bahauddin, Achmad and Ekawati, Ratna and Indrahanif, Muhammad (2015) Formal Specification, Testing and Verification on the Truck Simulation. Proceedings of the Hamburg International Conference of Logistics (HICL), 22. pp. 295-328. ISSN 2365-5070
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)