nonlinear analysis: hybrid systems (5)
ieee transactions on mobile computing (4)
ieee transactions on neural networks (4)
information and computation (4)
microprocessors and microsystems (3)
coordination control of distributed systems (2)
ieee robotics & automation magazine (2)
ieee transactions on mobile computing, mobile computing, ieee transactions on, ieee trans. on mobile comput. (2)
information & computation (2)
international journal of robust & nonlinear control (2)
international journal of robust and nonlinear control (2)
nonlinear analysis. hybrid systems (2)
proceedings of the ieee (2)
2007 american control conference, american control conference, 2007. acc '07 (1)
2011 7th international wireless communications and mobile computing conference, wireless communications and mobile computing conference (iwcmc), 2011 7th international (1)
2012 15th euromicro conference on digital system design (1)
2012 15th euromicro conference on digital system design, digital system design (dsd), 2012 15th euromicro conference on (1)
2013 ieee 18th international workshop on computer aided modeling & design of communication links & networks (camad) (1)
2013 ieee 18th international workshop on computer aided modeling and design of communication links and networks (camad), computer aided modeling and design of communication links and networks (camad), 2013 ieee 18th international workshop on (1)
2014 17th euromicro conference on digital system design (1)
2014 17th euromicro conference on digital system design, digital system design (dsd), 2014 17th euromicro conference on (1)
2022 ieee 23rd latin american test symposium (lats), latin american test symposium (lats), 2022 ieee 23rd (1)
2022 ieee 27th international conference on emerging technologies and factory automation (etfa), emerging technologies and factory automation (etfa), 2022 ieee 27th international conference on (1)
2023 26th international symposium on design and diagnostics of electronic circuits and systems (ddecs), design and diagnostics of electronic circuits and systems (ddecs), 2023 26th international symposium on (1)
acm transactions on cyber-physical systems (1)
advances in imaging and electron physics (1)
hscc2020---proceedings of the 23rd international conference on hybrid systems: computation and control (1)
ifac papersonline (1)
ifac proceedings volumes (1)
ifac-papersonline (1)
microprocessors & microsystems (1)
reachability problems (1)
reachability problems (9783642335112) (1)
runtime verification (1)