Inproceedings,

Symbolic State Space Exploration of RT Systems in the Cloud.

, , , and .
SYNASC, page 295-302. IEEE Computer Society, (2012)

Meta data

Tags

Users

  • @dblp
  • @mmonga
  • @carlobellettini

Comments and Reviews