Foundations of a Compositional Interchange Format for Hybrid Systems

D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, J. E. Rooda. Foundations of a Compositional Interchange Format for Hybrid Systems. In Alberto Bemporad, Antonio Bicchi, Giorgio C. Buttazzo, editors, Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings. Volume 4416 of Lecture Notes in Computer Science, pages 587-600, Springer, 2007. [doi]

@inproceedings{BeekRSR07,
  title = {Foundations of a Compositional Interchange Format for Hybrid Systems},
  author = {D. A. van Beek and Michel A. Reniers and Ramon R. H. Schiffelers and J. E. Rooda},
  year = {2007},
  doi = {10.1007/978-3-540-71493-4_45},
  url = {http://dx.doi.org/10.1007/978-3-540-71493-4_45},
  tags = {composition, e-science},
  researchr = {https://researchr.org/publication/BeekRSR07},
  cites = {0},
  citedby = {0},
  pages = {587-600},
  booktitle = {Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings},
  editor = {Alberto Bemporad and Antonio Bicchi and Giorgio C. Buttazzo},
  volume = {4416},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71492-7},
}