Search Results - Pradityo, K.

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Safety Verification of a Train Interlocking Timed Automaton Model

    Safety Verification of a Train Interlocking Timed Automaton Model by Nazaruddin, Yul Y., Tamba, Tua A., Pradityo, K., Aristyo, B., Widyotriatmo, A.

    Get full text
    Items that this one cites
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Model petri net of adaptive traffic lights and its collaboration with a special event

    Model petri net of adaptive traffic lights and its collaboration with a special event by Tristono, Tomi, Cahyono, Setiyo Daru, Sutomo, Utomo, Pradityo

    Get full text
    Items that this one cites
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: