Using clock accuracy to guide model synthesis in distributed systems: An application in power grid control
2005 ◽
Vol 27
(1)
◽
pp. 191-210
◽
2000 ◽
Keyword(s):
1985 ◽
Vol 132
(3)
◽
pp. 89
◽
Keyword(s):
Keyword(s):
Keyword(s):
2016 ◽
Vol 2016
(5)
◽
pp. 64-66
◽