The Distributed Ontology, Model and Specification Language – DOL - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2017

The Distributed Ontology, Model and Specification Language – DOL

Till Mossakowski
  • Fonction : Auteur
  • PersonId : 1030905
Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg]

Résumé

Over the last decades, the WADT community has studied the formal specification of software (and hardware) in great detail [1, 9, 42].

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
433330_1_En_2_Chapter.pdf (200.13 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Hal Ifip  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01767463

Soumis le : lundi 16 avril 2018-11:34:35

Dernière modification le : lundi 30 mai 2022-17:36:02

Télécharger pour visualiser

Dates et versions

hal-01767463 , version 1 (16-04-2018)

Licence

Paternité

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-TC IFIP-TC1 IFIP-WG1-3 IFIP-WADT IFIP-LNCS-10644
48 Consultations
177 Téléchargements

Altmetric

Partager

More