316 search results - page 4 / 64 » Software engineering for real-time: a roadmap |
71
Voted
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
CSMR
2010
IEEE
14 years 4 months ago
2010
IEEE
139
click to vote
FASE
2004
Springer
15 years 1 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
ADAEUROPE
2009
Springer
15 years 4 months ago
2009
Springer
64
Voted
CBSE
2009
Springer
15 years 4 months ago
2009
Springer