Search Results - "Real-time data processing."

Suggested Topics within your search.
  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Advances in verification of time petri nets and timed automata : a temporal logic approach /

    Advances in verification of time petri nets and timed automata : a temporal logic approach / by Penczek, Wojciech

    Published Springer, 2006.
    Subjects:
    Book

Search Tools: