Specification and Validation of a Real-Time Parallel Kernel using LOTOS

C.R.G. de farias, L.F. Pires, W. de Souza, C.E. Moron

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

    170 Downloads (Pure)
    Filter
    Report

    Search results