Using concurrency and formal methods for the design of safe process control

• Authors:

• Thierry Cattel

• Affiliations:

• -

• Venue:
• Proceedings of the First IFIP TC10 International Workshop on Software Engineering for Parallel and Distributed Systems
• Year:
• 1996