Skip to main navigation Skip to search Skip to main content

Formalizing Workflows Partitioning over Federated Clouds: Multi-level Security and Costs

  • Leo Freitas
  • , Paul Watson

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

Search results

  • Finished

    A14FM : using A1 to aid automation of proof search in formal methods

    Bundy, A. (Principal Investigator), Bundy, A. (Sponsor), Grov, G. (Co-Investigator (External)), Ireland, A. (Co-Investigator (External)) & Jones, C. B. (Co-Investigator (External))

    EPSRC

    1/04/10 → 31/03/14

    Project: Research