8 citations · 8 across the 2 of their papers we have counts for
1 paper · 1 filter
Peter Csaba Ölveczky
This paper motivates why Real-Time Maude should be well suited to provide a formal semantics and formal analysis capabilities to modeling languages for embedded systems. One can th…