The Real-Time Maude team

Real-Time Maude has been developed by Peter Csaba Ölveczky and José Meseguer. Please send suggestions, comments, etc., to peterol@ifi.uio.no.

 

Peter Ölveczky