Carl Nehme

发表

Modeling human supervisory control in heterogeneous unmanned vehicle systems

Carl Nehme, C. Nehme, 2009 .

The VAT tool : automatic transformation of VHDL to timed automata

Carl Nehme, C. Nehme, 2004 .