Browsing All of EconStor by Author Bahauddin, Achmad
Showing results 1 to 1 of 1
Year of Publication | Title | Author(s) |
---|---|---|
2015 | Formal Specification, Testing and Verification on the Truck Simulation | Santoso, Muhammad Iman; Noche, Bernd; Ridwan, Asep; Bahauddin, Achmad; Ekawati, Ratna; Indrahanif, Muhammad |