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

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… 
2005
2005
Thirty-two nulliparous rabbit does were mated with artificial insemination to determine the energy metabolism at the beginning of… 
1998
1998
Aim To establish the experimental rabbit model of endocarditis caused by α_hemolytic streptococcus.Methods A sterile polythene…