Skip to Main content Skip to Navigation
Conference papers

The Distributed Ontology, Model and Specification Language – DOL

Abstract : Over the last decades, the WADT community has studied the formal specification of software (and hardware) in great detail [1, 9, 42].
Document type :
Conference papers
Complete list of metadata

Cited literature [44 references]  Display  Hide  Download

https://hal.inria.fr/hal-01767463
Contributor : Hal Ifip <>
Submitted on : Monday, April 16, 2018 - 11:34:35 AM
Last modification on : Monday, April 16, 2018 - 11:36:29 AM

File

433330_1_En_2_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Till Mossakowski. The Distributed Ontology, Model and Specification Language – DOL. 23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.5-10, ⟨10.1007/978-3-319-72044-9_2⟩. ⟨hal-01767463⟩

Share

Metrics

Record views

234

Files downloads

100