Verification and correctness of service-oriented systems

Research output

Research output per year 2017 2017 2018 2018

• 2 Article

Research output per year

Research output per year

Search results

• 2018

  Dynamic networks of heterogeneous timed machines

  Fiadeiro, J. L., Lopes, A., Delahaye, B. & Legay, A., Jun 2018, In: Mathematical Structures in Computer Science. 28, 6, p. 800-855 56 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  79 Downloads (Pure)
• 2017

  Heterogeneous and asynchronous networks of timed systems

  Fiadeiro, J. L. & Lopes, A., 8 Feb 2017, In: Theoretical Computer Science. 663, p. 1–33 33 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  33 Downloads (Pure)