ePubs

The open archive for STFC research publications

⚠ ePubs is undergoing scheduled maintenance on 18/11/2025 between 10:00-12:00. During this time, the service will be unavailable.

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28949
Record Status Checked
Record Id 28949
Title Using Hybrid Automata to Support Human Factors Analysis in a Critical System
Contributors
Abstract
Organisation CCLRC , BITD
Keywords
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In ERCIM Workshop on Formal Methods in Industrial Critical Systems, Trento, Italy, 2-3 Jul 1999, (1999). 1999