Object-Oriented Specification of Reactive Systems

H.-M. Järvinen, R. Kurki-Suonio, M. Sakkinen, K. Systä

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

    66 Citations (Scopus)
    Translated title of the contributionObject-Oriented Specification of Reactive Systems
    Original languageEnglish
    Title of host publicationProc. 12th International Conference on Software Engineering, Nice, France.
    PublisherIEEE Computer Society
    Publication statusPublished - 1990
    Publication typeB3 Non-refereed article in conference proceedings

    Publication forum classification

    • No publication forum level

    Cite this