ISA-88 Formalization. A Step Towards its Integration with the ISA-95 Standard

Marcela Vegetti, Gabriela P. Henning. ISA-88 Formalization. A Step Towards its Integration with the ISA-95 Standard. In Alexandre Rademaker, Vinay K. Chaudhri, editors, Proceedings of the 6th Workshop on Formal Ontologies meet Industry co-located with 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), Rio de Janeiro, Brazil, September 22nd, 2014. Volume 1333 of CEUR Workshop Proceedings, CEUR-WS.org, 2014. [doi]

@inproceedings{VegettiH14,
  title = {ISA-88 Formalization. A Step Towards its Integration with the ISA-95 Standard},
  author = {Marcela Vegetti and Gabriela P. Henning},
  year = {2014},
  url = {http://ceur-ws.org/Vol-1333/fomi2014_4.pdf},
  researchr = {https://researchr.org/publication/VegettiH14},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 6th Workshop on Formal Ontologies meet Industry co-located with 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), Rio de Janeiro, Brazil, September 22nd, 2014},
  editor = {Alexandre Rademaker and Vinay K. Chaudhri},
  volume = {1333},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}