Antoine El-Hokayem
- On the Monitoring of Decentralized Specifications Semantics, Properties,\n Analysis, and Simulation
2018/08/08 by Antoine El-Hokayem, El-Hokayem, Antoine, Ylìès Falcone +1 · 1 citation
Business, Management and Accounting · Computer Science · #Advanced Software Engineering Methodologies #Business Process Modeling and Analysis #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Software Engineering (cs.SE) #Software System Performance and Reliability