Showing 1 - 2 results of 2 for search 'Nehme, Carl, 1981-', query time: 0.02s Refine Results
  1. 1
    The VAT tool : automatic transformation of VHDL to timed automata

    The VAT tool : automatic transformation of VHDL to timed automata by Nehme, Carl, 1981-

    Published 2005
    Get full text
    Thesis
  2. 2
    Modeling human supervisory control in heterogeneous unmanned vehicle systems

    Modeling human supervisory control in heterogeneous unmanned vehicle systems by Nehme, Carl, 1981-

    Published 2009
    Get full text
    Thesis

Search Tools: