BibTeX record conf/sac/AndradeMCNA09

• > Home > conf/sac/AndradeMCNA09

@inproceedings{DBLP:conf/sac/AndradeMCNA09,
  author       = {Ermeson Carneiro de Andrade and
                  Paulo Romero Martins Maciel and
                  Gustavo Rau de Almeida Callou and
                  Bruno Costa e Silva Nogueira and
                  Carlos Ara{\'{u}}jo},
  editor       = {Sung Y. Shin and
                  Sascha Ossowski},
  title        = {Mapping {UML} sequence diagram to time petri net for requirement validation
                  of embedded real-time systems with energy constraints},
  booktitle    = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
                  Honolulu, Hawaii, USA, March 9-12, 2009},
  pages        = {377--381},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1529282.1529364},
  doi          = {10.1145/1529282.1529364},
  timestamp    = {Tue, 29 Dec 2020 18:34:07 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/AndradeMCNA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}