Formal Modelling of Distributed Automation CPS with CP-Agnostic Software

Dmitrii Drozdov, Sandeep Patil, Valeriy Vyatkin. Formal Modelling of Distributed Automation CPS with CP-Agnostic Software. In Theodor Borangiu, Damien Trentesaux, André Thomas, Paulo Leitão, José Barata Oliveira, editors, Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings of SOHOMA 2016, Lisbon, Portugal, October 6-7, 2016. Volume 694 of Studies in Computational Intelligence, pages 35-46, Springer, 2016. [doi]

@inproceedings{DrozdovPV16,
  title = {Formal Modelling of Distributed Automation CPS with CP-Agnostic Software},
  author = {Dmitrii Drozdov and Sandeep Patil and Valeriy Vyatkin},
  year = {2016},
  doi = {10.1007/978-3-319-51100-9_4},
  url = {https://doi.org/10.1007/978-3-319-51100-9_4},
  researchr = {https://researchr.org/publication/DrozdovPV16},
  cites = {0},
  citedby = {0},
  pages = {35-46},
  booktitle = {Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings of SOHOMA 2016, Lisbon, Portugal, October 6-7, 2016},
  editor = {Theodor Borangiu and Damien Trentesaux and André Thomas and Paulo Leitão and José Barata Oliveira},
  volume = {694},
  series = {Studies in Computational Intelligence},
  publisher = {Springer},
  isbn = {978-3-319-51099-6},
}