Skip to search formSkip to main contentSkip to account menu

Common Criteria Testing Laboratory

Known as: CCTL 
The Common Criteria model provides for the separation of the roles of evaluator and certifier. Product certificates are awarded by national schemes… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Common CriteriaCommon Criteria Evaluation and Validation SchemeCryptographic Module Testing LaboratoryProtection Profile

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2019
Review
2019
ВОПРОСЫ ОРГАНИЗАЦИИ ВИУТРИЛАБОРАТОРИОГО КОНТРОЛЯ КАЧЕСТВА РЕЗУЛЬТАТОВ ИСПЫТАНИЙ В ИСПЫТАТЕЛЬНОЙ ЛАБОРАТОРИИ
The problems regarding arrangement and implementation of the intralaboratory quality control (ILC) of test results in testing… 
2011
2011
ESTIMACIÓN DE LA INCERTIDUMBRE EN LA CALIBRACIÓN DE UN MATRAZ
Se presenta el desarrollo de un metodo para la estimacion de la incertidumbre aplicado a un matraz volumetrico de 100 cm3… 
Highly Cited
2008
Highly Cited
2008
Method Validation and Quality Management in the Flexible Scope of Accreditation: An Example of Laboratories Testing for Genetically Modified Organisms
Quality assurance is a prerequisite for accurate and reliable results in food and feed testing, ISO/IEC 17025 being recognized… 
2008
2008
Mapping of Structured English Sentences to CCTL Formulae
Model checking has received wide acceptance as a valuable technique in the field of electronic design automation and is currently… 
2004
2004
Specification and Formal Verification of Temporal Properties of Production Automation Systems
This article describes our approach for the specification and verification of production automation systems with real-time… 
2004
2004
A Case Study: How The Maximum Spacing Of Heat Detectors Should Be Determined
The current method of assigning the maximum heat detector spacing based on fire tests comparing the detector responses to that of… 
2003
2003
Combining Formal Refinement and Model Checking for Real-Time Systems Verification
We present a framework, which combines model checking and theorem prover based refinement for real-time systems design focusing… 
2002
2002
A UML Profile for Real-Time Constraints with the OCL
This article presents a UML profile for an OCL extension that enables modelers to specify behavioral, state-oriented real-time… 
2000
2000
An Advanced Visual Capture for Model Checking Specifications
Model checking has received wide acceptance as a valuable te chnique in the field of electronic design automation and is… 
1998
1998
Aspects of Portability and Distributed Execution for JNI-Wrapped Code
Much of the portability characteristics associated with Java-based programs is attributable to the bytecode representation of… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)