Simulation studies on creating verified specifications for distributed control in manufacturing

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientific

    Original languageEnglish
    Title of host publicationProceedings of the 2nd CKBS Working Conference
    Number of pages17
    Publication statusPublished - 1994
    MoE publication typeB3 Non-refereed article in conference proceedings
    Event2nd CKBS Working Conference - Keele, United Kingdom
    Duration: 14 Jun 199417 Jun 1994


    Conference2nd CKBS Working Conference
    Country/TerritoryUnited Kingdom

    Cite this