Inproceedings,

An Executable Semantics of Clock Constraint Specification Language and Its Applications.

, and .
FTSCS, volume 596 of Communications in Computer and Information Science, page 37-51. Springer, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews