Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Krisiloff, Joshua"'
Publikováno v:
EPTCS 105, 2012, pp. 5-21
Distributed cyber-physical systems (DCPS) are pervasive in areas such as aeronautics and ground transportation systems, including the case of distributed hybrid systems. DCPS design and verification is quite challenging because of asynchronous commun
Externí odkaz:
http://arxiv.org/abs/1301.0038
Publikováno v:
In Science of Computer Programming 1 June 2015 103:13-50
Publikováno v:
Science of Computer Programming. Jun2015, Vol. 103, p13-50. 38p.