Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
The objective of this research was to determine the effect of breed, feed type and sex, on the final body weight in New Zealand… Expand
  • table 1
  • table 2
  • figure 1
  • figure 2
  • table 3
Is this relevant?
2005
2005
Thirty-two nulliparous rabbit does were mated with artificial insemination to determine the energy metabolism at the beginning of… Expand
  • table 1
  • table 2
  • figure 1
Is this relevant?
1998
1998
Aim To establish the experimental rabbit model of endocarditis caused by α_hemolytic streptococcus.Methods A sterile polythene… Expand
Is this relevant?
1980
1980
 
Is this relevant?