Robust synthesis for real-time systems

December 16, 2017 in by

by Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wąsowski
Reference:
Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wąsowski. Robust synthesis for real-time systems. In Theoretical Computer Science 515:96-122. Elsevier, January 2014.
Bibtex Entry:
@string{jan="January"}
@article{LLTW-tcs14,
  author =        {Larsen, Kim G. and Legay, Axel and
                   Traonouez, Louis-Marie and W{c a}sowski, Andrzej},
  journal =       {Theoretical Computer Science},
  month =         jan,
  pages =         {96-122},
  publisher =     {Elsevier},
  title =         {Robust synthesis for real-time systems},
  volume =        {515},
  year =          {2014},
  doi =           {10.1016/j.tcs.2013.08.015},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  LLTW-tcs14.pdf},
  category =      {jour},
  wps =           {wp3},
  partners =      {AAU},
  casstingpart =  {10},
}