Skip to search formSkip to main contentSkip to account menu

Fastest

Fastest is a model-based testing tool that works with specifications written in the Z notation. The tool implements () the Test Template Framework… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
Community Z ToolsInterface (Java)LaTeXModel-based testing

Broader (1)

Z notation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Modelling 3D Topographic Space Against Indoor Navigation Requirements
Indoor navigation is growing rapidly with widespread developments in the collection and processing of sensor information for… 
Highly Cited
2010
Highly Cited
2010
A Two-Stage Correlation Method for Stereoscopic Depth Estimation
The computation of stereoscopic depth is an important field of computer vision. Although a large variety of algorithms has been… 
Highly Cited
2008
Highly Cited
2008
Seasonal dynamics of bacterial biomass and production in a coastal arctic ecosystem: Franklin Bay, western Canadian Arctic
[1] The Canadian Arctic Shelf Exchange Study (CASES) included the overwintering deployment of a research platform in Franklin Bay… 
Highly Cited
2007
Highly Cited
2007
Online Fault Tolerance for FPGA Logic Blocks
Most adaptive computing systems use reconfigurable hardware in the form of field programmable gate arrays (FPGAs). For these… 
Highly Cited
2003
Highly Cited
2003
Syntheses and characterizations of in situ blended metallocence polyethylene/clay nanocomposites
Highly Cited
2002
Highly Cited
2002
A virtual student: Not an ordinary Joe
Highly Cited
2001
Highly Cited
2001
A Long-Term View of Short-Range Wireless
Economic forces and physical laws are driving the growth of a new wireless infrastructure that will become as ubiquitous as… 
Highly Cited
1999
Highly Cited
1999
The late Pleistocene cultures of South America
Important to an understanding of the first peopling of any continent is an understanding of human dispersion and adaptation and… 
Highly Cited
1995
Highly Cited
1995
Swimming speed and allocation of time during the dive cycle in Antarctic fur seals
Highly Cited
1990
Highly Cited
1990
Leaf-Litter Decomposition in the Picea/Tsuga Forests of Olympic National Park, Washington, U.S.A.
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)