Abstract
This paper presents a comparison between eight specification languages discussed during the Workshop on Formal Specification Techniques for Complex Reasoning Systems held in Vienna during the ECAI'92 conference. The languages as discussed here possess ma
| Original language | English |
|---|---|
| Title of host publication | Formal Specification of Complex Reasoning Systems |
| Publisher | Ellis Horwood |
| Pages | 257-282 |
| Publication status | Published - 2005 |
Bibliographical note
Harmelen, F.A.H. van and R. Lopez de Mantaras and J. Malec and J. Treur. Comparing Formal Specification Languages. In Formal Specification of Complex Reasoning Systems. Editors J. Treur and Th. Wetter. Series Workshop Series. Pages 257-282. Ellis Horwood.UN SDGs
This output contributes to the following UN Sustainable Development Goals (SDGs)
-
SDG 4 Quality Education
Fingerprint
Dive into the research topics of 'Comparing Formal Specification Languages'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver