Peter Csaba Ölveczky

1. Specification of real-time and hybrid systems in rewriting logic
   2002/08/01 by Peter Csaba Ölveczky, José Meseguer · 1 citation
   Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Real-Time Systems Scheduling