Formalizing Requirements and Design for a Production Cell System

Hans Rischel, Jakob Lyng Petersen

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Original languageEnglish
    Title of host publicationAutomatisation des Processus Mixtes: Les Systemes Dynamiques Hybrides
    Place of PublicationBruxelles
    PublisherIBRA, Institut Belge de Regulation et d'Automatisme
    Publication date1994
    Pages37-46
    Publication statusPublished - 1994
    EventSymposium ADPM '94: Automatisation des Processus Mixtes: Les Systemes Dynamiques Hybrides - Bruxelles
    Duration: 1 Jan 1994 → …

    Conference

    ConferenceSymposium ADPM '94: Automatisation des Processus Mixtes: Les Systemes Dynamiques Hybrides
    CityBruxelles
    Period01/01/1994 → …

    Cite this

    Rischel, H., & Petersen, J. L. (1994). Formalizing Requirements and Design for a Production Cell System. In Automatisation des Processus Mixtes: Les Systemes Dynamiques Hybrides (pp. 37-46). IBRA, Institut Belge de Regulation et d'Automatisme.