Process Mining: Discovery, Conformance and Enhancement of Business Processes, 2011. ,
Guide to industrial control systems (ics) security, 2011. ,
Security and discoverability of spread dynamics in cyber-physical networks, IEEE Transactions on Parallel and Distributed Systems, pp.1694-1707, 2012. ,
Attacks against process control systems, Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security, ASIACCS '11, 2011. ,
DOI : 10.1145/1966913.1966959
The theory of hybrid automata, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 1996. ,
DOI : 10.1109/LICS.1996.561342
PROFINET - scalable factory communication for all applications, IEEE International Workshop on Factory Communication Systems, 2004. Proceedings., 2004. ,
DOI : 10.1109/WFCS.2004.1377673
The evolution of Lua, Proceedings of the third ACM SIGPLAN conference on History of programming languages , HOPL III, 2007. ,
DOI : 10.1145/1238844.1238846
A comparative analysis of recent identification approaches for discreteevent systems, Sub Paint() Select Case SmartTags, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00522714
Valve3")<>0) Loop Do Until (SmartTags, Case 3 SmartTags=1 End Select Do Until (SmartTags("Valve1")<>0 Or SmartTags("Valve2")<>0 Or SmartTags=0) Loop Do While (SmartTags("Level0T1")<>0 Or SmartTags("Level0T2")<>0 Or SmartTags("Level0T3")<>0) SmartTags("MValve456")=1 Loop SmartTagsTimer1ON") Do While SmartTags("EmptyMixer")=0 Loop Loop End Sub Inria, p.0 ,