Roux, Olivier H.
- Control and Synthesis of Non-Interferent Timed Systems
2012/07/11 by Gilles Benattar, Franck Cassez, Benattar, Gilles +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #Security and Verification in Computing #Systems and Control (eess.SY) #electronic engineering #information engineering