Skip to search formSkip to main contentSkip to account menu

Community Z Tools

Known as: CZT 
The Community Z Tools (CZT) initiative is based around a SourceForge project to build a set of tools for the Z notation, a formal method useful in… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
Andrew Martin (computer scientist)FastestFormal methodsJava

Broader (1)

Z notation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Characterization of Bulk and Surface Transport Mechanisms by Means of the Photocurrent Technique
The transport properties of ternary alloys, as CdZnTe, affect heavily the features required in X and Gamma spectroscopic… 
2008
2008
A Monte Carlo Model for Energy Spectra Analysis in Dedicated Nuclear Breast Imaging
A Monte Carlo model for dedicated nuclear breast imaging was developed using the Monte Carlo N-particle (MCNP) code. The modeled… 
2008
2008
Thickness scalability of large volume Cadmium Zinc Telluride high resolution radiation detectors
In an effort to optimize the spectroscopic performance of large volume Cadmium Zinc Telluride (CZT) radiation detectors grown by… 
2007
2007
Characterization of Low-Defect ${\rm Cd}_{0.9}{\rm Zn}_{0.1}{\rm Te}$ and CdTe Crystals for High-Performance Frisch Collar Detectors
Low dislocation density, high-purity, and low inclusion concentration Cd0.9Zn0.1Te (CZT) and CdTe crystals were grown by a… 
2006
2006
Second-Generation, Tri-Modality Pre-Clinical Imaging System
A second-generation, tri-modality instrument, comprising PET, SPECT, and CT subsystems, for pre-clinical imaging is described… 
2006
2006
Issues in Implementing a Model Checker for Z
In this paper we discuss some issues in implementing a model checker for the Z specification language. In particular, the… 
Review
2006
Review
2006
Molecular breast imaging using a dedicated high-performance instrument
In women with radiographically dense breasts, the sensitivity of mammography is less than 50%. With the increase in the percent… 
2006
2006
Effect of Collimator Selection on Tumor Detection for Dedicated Nuclear Breast Imaging Systems
The effect of collimation on the detection of small (<1 cm) breast tumors with dedicated nuclear breast imaging systems was… 
2005
2005
CZT detectors read out with the RENA-2 ASIC
Multiple-site interactions initiated by Compton scattering are the primary interaction processes of gamma-rays in CZT in ~0.2… 
2005
2005
Characterization of a CZT focal plane small prototype for hard X-ray telescope
The promise of good energy and spatial resolution coupled with high efficiency and room temperature operation has fuelled a large… 
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)