Konstruksi Timed Automata dari Model LTL untuk Persimpangan Jalan dengan Jalur Lawan Arus untuk Bus Rapid Transit

Koleksi

Konstruksi Timed Automata dari Model LTL untuk Persimpangan Jalan dengan Jalur Lawan Arus untuk Bus Rapid Transit
19.04.522 - ANGGITA KARLINDA KUSNADI
19.04.522-1
Weeding
11 January 2019

Informasi Koleksi

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