Titel

Merkliste
1 Ergebnisse

Aviation safety : modeling and analyzing complex interac..:

, In: Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems,

Rungta, Neha ; Brat, Guillaume ; Clancey, William J.... - p. 27-37 , 2013

Link: https://dl.acm.org/doi/10.1145/2494493.2494498

RT 
T1 <cTitle>Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems</cTitle>: T1 <Title>Aviation safety				: modeling and analyzing complex interactions between humans and automated systems</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-2494498&Exemplar=1&LAN=DE
				
A1 Rungta, Neha
A1 Brat, Guillaume
A1 Clancey, William J.
A1 Linde, Charlotte
A1 Raimondi, Franco
A1 Seah, Chin
A1 Shafto, Michael
PB ACM
YR 2013
K1 überlingen collision
K1 authority and autonomy
K1 aviation safety
K1 brahms
K1 verification
K1 Human-centered computing
K1 Human computer interaction (HCI)
K1 Software and its engineering
K1 Software organization and properties
K1 Software functional properties
K1 Formal methods
K1 Model checking
K1 Theory of computation
K1 Logic
K1 Verification by model checking
SP 27
OP 37
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/2494493.2494498
DO https://dl.acm.org/doi/10.1145/2494493.2494498
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)