Pemodelan Aspek Waktu dari Lampu Lalu Lintas di Persimpangan Jalan dengan Jalur Lawan Arus untuk Bus Rapid Transit menggunakan Timed Automata dan Timed CTL

Koleksi

Pemodelan Aspek Waktu dari Lampu Lalu Lintas di Persimpangan Jalan dengan Jalur Lawan Arus untuk Bus Rapid Transit menggunakan Timed Automata dan Timed CTL
19.04.3625 - GISELA ANGGITA ASHIANTI
19.04.3625-1
Weeding
21 October 2019

Informasi Koleksi

 
Sumbangan
Universitas Telkom
0
Karya Ilmiah - Skripsi (S1) - Reference
Tel-U Gedung Manterawu Lantai 5