Parameter synthesis for hierarchical concurrent real-time systems. André, É., Liu, Y., Sun, J., & Dong, J. S. Real-Time Systems (RTS), 50(5-6):620-679, 2014.
Paper
Paper bibtex @article{ dblp1709395,
title = {Parameter synthesis for hierarchical concurrent real-time systems},
author = {Étienne André and Yang Liu and Jun Sun and Jin Song Dong},
author_short = {André, É. and Liu, Y. and Sun, J. and Song Dong, J.},
bibtype = {article},
type = {article},
year = {2014},
key = {dblp1709395},
id = {dblp1709395},
url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/realtime2014.pdf},
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
{"_id":"dsC7fnKBbYJYQ5Lki","authorIDs":["54cf93fc91c843ab6e00058a"],"author_short":["André, É.","Liu, Y.","Sun, J.","Dong, J.<nbsp>S."],"bibbaseid":"andr-liu-sun-dong-parametersynthesisforhierarchicalconcurrentrealtimesystems-2014","bibdata":{"author":["André, Étienne","Liu, Yang","Sun, Jun","Dong, Jin Song"],"author_short":["André, É.","Liu, Y.","Sun, J.","Dong, J.<nbsp>S."],"bibtex":"@article{ dblp1709395,\n title = {Parameter synthesis for hierarchical concurrent real-time systems},\n author = {Étienne André and Yang Liu and Jun Sun and Jin Song Dong},\n author_short = {André, É. and Liu, Y. and Sun, J. and Song Dong, J.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp1709395},\n id = {dblp1709395},\n url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/realtime2014.pdf},\n biburl = {http://www.dblp.org/rec/bibtex/journals/rts/Andre00D14},\n url = {http://dx.doi.org/10.1007/s11241-014-9208-6},\n journal = {Real-Time Systems (RTS)},\n pages = {620-679},\n number = {5-6},\n volume = {50},\n text = {Real-Time Systems (RTS) 50(5-6):620-679 (2014)}\n}","bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/rts/Andre00D14","id":"dblp1709395","journal":"Real-Time Systems (RTS)","key":"dblp1709395","number":"5-6","pages":"620-679","text":"Real-Time Systems (RTS) 50(5-6):620-679 (2014)","title":"Parameter synthesis for hierarchical concurrent real-time systems","type":"article","url":"http://dx.doi.org/10.1007/s11241-014-9208-6","url_paper":"http://people.sutd.edu.sg/~sunjun/Publications/realtime2014.pdf","volume":"50","year":"2014","bibbaseid":"andr-liu-sun-dong-parametersynthesisforhierarchicalconcurrentrealtimesystems-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s11241-014-9208-6"," paper":"http://people.sutd.edu.sg/~sunjun/Publications/realtime2014.pdf"},"downloads":0,"html":""},"bibtype":"article","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/mine.bib","creationDate":"2015-02-02T15:13:00.759Z","downloads":0,"keywords":[],"search_terms":["parameter","synthesis","hierarchical","concurrent","real","time","systems","andré","liu","sun","dong"],"title":"Parameter synthesis for hierarchical concurrent real-time systems","year":2014,"dataSources":["mpMYjTrc4gjXaNRQh"]}