Mohammad Reza Sarshogh

1. Specification and refinement of discrete timing properties in Event-B
   2012/03/01 by Mohammad Reza Sarshogh, Sarshogh, Mohammad Reza, Michael Butler +1 · 1 citation
   Computer Science · #Formal Methods in Verification #Real-Time Systems Scheduling #Petri Nets in System Modeling