Blank Cover Image

Formally Verifying Human-Automation Interaction with Specification Properties Generated from Task Analytic Models

Author(s):
Publication title:
6th IAASS Conference : Safety is Not an Option : 21-23 May 2013, Montreal, Canada
Title of ser.:
ESA SP
Ser. no.:
715
Pub. Year:
2013
Pages:
8
Pub. info.:
Noordwijk, The Netherlands: ESA Communications
ISSN:
1609042X
ISBN:
9789292212797 [9292212796]
Language:
English
Call no.:
E11690/715
Type:
Conference Proceedings

Similar Items:

1 Conference Proceedings Automated Verification of Code Generated from Models: Comparing Specifications with Observations

R. Gerlich, D. Sigg

ESA Communications
7 Conference Proceedings Simulation and analysis of complex human tasks for manufacturing

N.I. Badler, W.M. Becket, B.L. Webber

Society of Photo-optical Instrumentation Engineers
2 Conference Proceedings Automation of Modal Property Extraction for a Permanently Instrumented Highway Bridge

Bolton, R., Stubbs, N., Sikorsky, C.

SPIE-The International Society for Optical Engineering
8 Conference Proceedings Formal analytical modeling of blog content as personal narrative

M. J. Coombs, H. M. Jaenisch, J. W. Handley

Society of Photo-optical Instrumentation Engineers
3 Conference Proceedings Formal specification and verification of hardware designs

Ramesh,S., Rao.S.S.S.P., Sivakumar,G., Bhaduri,P.

SPIE-The International Society for Optical Engineering
9 Conference Proceedings Verification of handwritten signature using three-dimensional correlation

Molina, M.L., Arias, N.A., Meneses, J.

SPIE - The International Society of Optical Engineering
4 Conference Proceedings Allogeneic and Xenogeneic Interactions between Endothelial Cells and Human T Cells During Transplant Rejection

Rose,M.L.

IOS Press
10 Conference Proceedings A Formal Basis for the Specification of Concurrent Systems

Lamport L.

Springer-Verlag
5 Conference Proceedings The Interaction of HVEM-Generated Point-Defects with Dissociated Dislocations

King,S.L., Jenkins,M.L., Kirk,M.A., English,C.A.

Trans Tech Publications
11 Conference Proceedings Modeling and diagnostics of pulsed laser-solid interactions:applications to laser cleaning

Oltra,R., Arenholz,E., Leiderer,P., Kautek,W., Fotakis,C., Autric,M.L., Afonso,C.N., Wazen,P.

SPIE - The International Society for Optical Engineering
6 Conference Proceedings Demonstration of a vapor-density monitoring system using UV radiation generated from waveguide quasi-phase-matched SHG waveguide devices

Galanti,S.A., Berzins,L.V., Brown,J.B., Tamosaitis,R.S., Bortz,M.L., Day,T.O., Fejer,M.M., Wang,W.

SPIE-The International Society for Optical Engineering
12 Conference Proceedings "Multispectral Thermal Imager (MTI) satellite hardware status, tasking, and operations"

Decker,M.L., Kay,R.R., Rackley,N.G.

SPIE-The International Society for Optical Engineering
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12