Use Case: Ontology to Support System Verification Process

Anne Monceaux, Martine Callot. Use Case: Ontology to Support System Verification Process. In Christine Golbreich, Aditya Kalyanpur, Bijan Parsia, editors, Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, Innsbruck, Austria, June 6-7, 2007. Volume 258 of CEUR Workshop Proceedings, CEUR-WS.org, 2007. [doi]

@inproceedings{MonceauxC07,
  title = {Use Case: Ontology to Support System Verification Process},
  author = {Anne Monceaux and Martine Callot},
  year = {2007},
  url = {http://ceur-ws.org/Vol-258/paper45.pdf},
  tags = {ontologies, ontology},
  researchr = {https://researchr.org/publication/MonceauxC07},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, Innsbruck, Austria, June 6-7, 2007},
  editor = {Christine Golbreich and Aditya Kalyanpur and Bijan Parsia},
  volume = {258},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}