Parameter synthesis for hierarchical concurrent real-time systems. André, É., Liu 0003, Y., Sun 0001, J., & Song Dong, J. Real-Time Systems (RTS), 50(5-6):620-679, 2014.
Parameter synthesis for hierarchical concurrent real-time systems [link]Paper  bibtex   
@article{ dblp1709395,
  title = {Parameter synthesis for hierarchical concurrent real-time systems},
  author = {Étienne André and Yang Liu 0003 and Jun Sun 0001 and Jin Song Dong},
  author_short = {André, É. and Liu 0003, Y. and Sun 0001, J. and Song Dong, J.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp1709395},
  id = {dblp1709395},
  biburl = {http://www.dblp.org/rec/bibtex/journals/rts/Andre00D14},
  url = {http://dx.doi.org/10.1007/s11241-014-9208-6},
  journal = {Real-Time Systems (RTS)},
  pages = {620-679},
  number = {5-6},
  volume = {50},
  text = {Real-Time Systems (RTS) 50(5-6):620-679 (2014)}
}

Downloads: 0