Search Results - Mokadem, H.B.

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Verification of a timed multitask system with UPPAAL

    Verification of a timed multitask system with UPPAAL by Mokadem, H.B., Berard, B., Gourcuff, V., Roussel, J.-M., De Smet, O.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: