Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
logo
  • Home
  • Archive
  • Registration
  • Program
  • Call for Presentations
  • Committee
  • Venue
  • Past Events
  • Submit
  • Files
CPS-VO » High Confidence Software and Systems Conference Series

Visible to the public Reliable Workflow in a Distributed Environment

  • View
  • Properties
Submitted by TimTh on Fri, 07/01/2011 - 10:20am. Contributors:
  • William Cook
  • Adrian Quark
  • Andrew Matsuoka
  • David Kitchin
  • Jayadev Misra
  • John Thywissen

Presented as part of the 2009 HCSS conference.

License: 
Creative Commons 2.5

Other available formats:

Reliable Workflow in a Distributed Environment
Switch to normal viewerSwitch to experimental viewer
‹ The 7 Features of Habit for Highly Assured Systems Programming up Policy DSL: High-level Specifications of Information Flows for Security Policies ›
  • PDF document
  • 468.16 KB
  • 86 downloads
  • Download
  • Printer-friendly version
  • University of Texas at Austin
  • Academia
  • Presentation
  • HCSS '09
  • HCSS 2009

Terms of Use  |  ©2023. CPS-VO