A compositional architecture for simple design formally specified in DESIRE

Izak van Langevelde, Albert W. Philipsen, J. Treur

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationFormal specification of complex reasoning systems
EditorsJ. Treur, T. Wetter
PublisherEllis Horwood
Pages143-172
ISBN (Print)0-13-336785-1
Publication statusPublished - 1993

Cite this