Skip to search formSkip to main contentSkip to account menu

Rabbit Model Checker

Known as: Rabbit (disambiguation) 
Rabbit is a model checking tool for real-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Binary decision diagramModel checkingTimed automaton

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
STATISTICAL ANALYSIS OF DRAIZE RABBIT EYE IRRITATION TEST
There are rnany papers and researches all over the world thet report alternatives to Draize rabbit eye irritation test(Draize te… 
2015
2015
Analysis of factors affecting the final body weight in selected rabbit breeds
The objective of this research was to determine the effect of breed, feed type and sex, on the final body weight in New Zealand… 
2013
2013
Initial study of genetic structure of Ibiza rabbit from genealogical information.
2011
2011
Relationship between chemical body composition, fertility and prolificacy in nulliparous rabbit does.
2005
2005
Rabbit & Blixten - Sagobok, dataspel, tittsaga, saga att berätta
2005
2005
Energy utilization and partition of nulliparous rabbit does in the last third of pregnancy.
Thirty-two nulliparous rabbit does were mated with artificial insemination to determine the energy metabolism at the beginning of… 
2002
2002
Diffuse organization of central sensitization of withdrawal reflexes in the decerebrated, spinalized rabbit
1998
1998
An easy method to establish experimental rabbit endocarditis model
Aim To establish the experimental rabbit model of endocarditis caused by α_hemolytic streptococcus.Methods A sterile polythene… 
1990
1990
Modelling of rabbit ketosis in starved pregnant does.
1980
1980
Should rabbit breeds be preserved
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)