http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190558
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
- 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
- Prodotto di
- Autore CNR
Incoming links:
- Autore CNR di
- Prodotto