Using hybrid automata to support human factors analysis in a critical system

DOI10.1023/A:1011232016683zbMath0990.68521OpenAlexW1559105219MaRDI QIDQ5959852

G. P. Faconti, Gavin J. Doherty, Mieke Massink

Publication date: 11 April 2002

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1011232016683

zbMATH Keywords

hybrid automatacritical systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• HyTech
• Uppaal

This page was built for publication: Using hybrid automata to support human factors analysis in a critical system