Using improved resource interfaces to formally describe adaptability in embedded systems

Magnus Persson, Martin Törngren. Using improved resource interfaces to formally describe adaptability in embedded systems. SIGBED Review, 6(3):8, 2009. [doi]

@article{PerssonT09,
  title = {Using improved resource interfaces to formally describe adaptability in embedded systems},
  author = {Magnus Persson and Martin Törngren},
  year = {2009},
  doi = {10.1145/1851340.1851350},
  url = {http://doi.acm.org/10.1145/1851340.1851350},
  researchr = {https://researchr.org/publication/PerssonT09},
  cites = {0},
  citedby = {0},
  journal = {SIGBED Review},
  volume = {6},
  number = {3},
  pages = {8},
}