Formal modelling of reactive hardware/software systems

J.P.M. Voeten, P.H.A. Putten, van der, M.C.W. Geilen, M.P.J. Stevens

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

    Original languageEnglish
    Title of host publicationProc. CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing
    EditorsJ.P. Veen
    Place of PublicationUtrecht, Netherlands
    PublisherSTW Technology Foundation
    Pages663-670
    ISBN (Print)90-73461-12-X
    Publication statusPublished - 1997
    EventCSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing - Mierlo, Netherlands
    Duration: 27 Nov 199728 Nov 1997

    Conference

    ConferenceCSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing
    Abbreviated titleCSSP-97
    CountryNetherlands
    CityMierlo
    Period27/11/9728/11/97

    Cite this