1202 search results - page 25 / 241 » Sortings for Reactive Systems |
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
ASWEC
2006
IEEE
15 years 8 months ago
2006
IEEE
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
100
Voted
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
109
click to vote
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...