8 citations · 8 across the 2 of their papers we have counts for
1 paper · 1 filter
Francisco Durán, Peter Csaba Ölveczky, José E. Rivera
e-Motions is an Eclipse-based visual timed model transformation framework with a Real-Time Maude semantics that supports the usual Maude formal analysis methods, including simulati…