R. David

1. Grafcet: a powerful tool for specification of logic controllers
   1995/01/01 by R. David · 1 citation
   Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #Formal Methods in Verification #Petri Nets in System Modeling
2. Discrete-event dynamic systems
   1999/03/01 by F. Charbonnier, Flora Charbonnier, H. Alla +1 · 1 citation
   Computer Science · #Distributed systems and fault tolerance #Formal Methods in Verification #Petri Nets in System Modeling