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

    Conference

    Conference2nd CKBS Working Conference
    CountryUnited Kingdom
    CityKeele
    Period14/06/9417/06/94

    Cite this