Using hybrid automata to support human factors analysis in a critical system (Contributo in atti di convegno)

Type
Label
  • Using hybrid automata to support human factors analysis in a critical system (Contributo in atti di convegno) (literal)
Anno
  • 1999-01-01T00:00:00+01:00 (literal)
Alternative label
  • DOHERTY G; MASSINK M; FACONTI G (1999)
    Using hybrid automata to support human factors analysis in a critical system
    in 4th workshop on Formal Methods for Industrial Critical Systems
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • DOHERTY G; MASSINK M; FACONTI G (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Proceedings of the 4th workshop on Formal Methods for Industrial Critical Systems (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • RAL; CNR-CNUCE; CNR-CNUCE (literal)
Titolo
  • Using hybrid automata to support human factors analysis in a critical system (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 88-7958-009-4 (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it