Formelle notationer til specifikation og verification af indlejrede, tidstro systemer

    Project Details

    StatusFinished
    Effective start/end date01/02/199923/08/2002