Combining conceptual medeling and formal methods to design control systems

J.J.M. Hooman, J. Vain

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

Abstract

Research Report 248
Original languageEnglish
Title of host publicationSelected papers from the 8th Nordic Workshop on Programming Theory
EditorsM. Haveraaen, O. Owe
PublisherUniversity of Oslo
Pages109-118
Publication statusPublished - 1997

Fingerprint Dive into the research topics of 'Combining conceptual medeling and formal methods to design control systems'. Together they form a unique fingerprint.

Cite this