Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,164,781 papers from all fields of science
Search
Sign In
Create Free Account
Evaluation Assurance Level
Known as:
EAL1
, EAL 1
, EAL2
Expand
The Evaluation Assurance Level (EAL1 through EAL7) of an IT product or system is a numerical grade assigned following the completion of a Common…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
26 relations
CESG Claims Tested Mark
Common Criteria
Computer security
Cryptographic Module Testing Laboratory
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2009
Review
2009
Better Avionics Software Reliability by Code Verification ? A Glance at Code Verification Methodology in the Verisoft XT Project
Christoph Baumann
,
Bernhard Beckert
,
Holger Blasum
,
Thorsten Bormer
2009
Corpus ID: 826055
Software reliability is a core requirement for safetyand security-critical systems. In the area of avionics, for example, the DO…
Expand
2007
2007
The long term stability of EAL and TAI (revisited)
G. Petit
IEEE International Frequency Control Symposium…
2007
Corpus ID: 21969396
International atomic time TAI gets its stability from some 300 atomic clocks worldwide that generate the free atomic scale EAL…
Expand
2006
2006
Speaking about film and learning about speaking: teaching speaking through film study
M. Andrew
2006
Corpus ID: 143240233
Apart from Aken (2003), research into using film in language teaching has overlooked the potential of film, streaming video or…
Expand
2003
2003
Attention to Mathematical Structure during Participation in a Mathematics Classroom Task by Learners of English as an Additional Language (EAL).
R. Barwell
2003
Corpus ID: 55878014
How do students who are learning English as an additional language (EAL) participate in classroom mathematics? To investigate…
Expand
2002
2002
The development of a discursive psychology approach to investigate the participation of students with English as an additional language (EAL) in writing and solving arithmetic word problems with…
R. Barwell
2002
Corpus ID: 155681489
2001
2001
A Revised Way of Fixing an Upper Limit to Clock Weights in TAI Computation
J. Azoubib
2001
Corpus ID: 55313276
Abstract : The free atomic time scale Echelle Atomique Libre (EAL), from which International Atomic Time (TAI) is derived by…
Expand
1999
1999
Oxidation of organosolv lignins in acetic acid
A. R. Gonçalves
,
U. Schuchardt
1999
Corpus ID: 62888486
The oxidation of four lignins obtained by organosolv pulping of eucalyptus wood (Acetosolv-eucalyptus Acetosolv lignin [EAL…
Expand
1998
1998
Attraction of the Lovebug, Plecia nearctica (Diptera: Bibionidae) to Anethole
R. Cherry
1998
Corpus ID: 84808125
L ANDOLT , P. J., B. L ENCZEWSKI , AND R. R. H EATH . 1991. Lure and toxicant system for the cabbage looper (Lepidoptera…
Expand
1996
1996
Documentation for a Structural Optimization Procedure Developed Using the Engineering Analysis Language (EAL)
C. Martin
1996
Corpus ID: 60334562
This report describes a structural optimization procedure developed for use with the Engineering Analysis Language (EAL) finite…
Expand
1980
1980
Problems of the Generation, Quality, and Availability of the International Atomic Time Scale
B. Guinot
,
J. Azoubib
IEEE Transactions on Instrumentation and…
1980
Corpus ID: 29067061
The computation of the International Atomic Time, TAI, is made in two steps. First, an intermediate time scale, EAL, is…
Expand