Keyword:model

Papers
Global model of the carbon cycle as instrument of primary agriculture production assessment Man Nguyen Xuan, Phong Nguyen Duyen, Krapivin V.F. and Mkrtchyan F.A. EasyChair Preprint no. 68
Hybrid Automata Model of the Heart for Formal Verification of Pacemakers Sidharta Andalam, Avinash Malik, Partha Roop and Mark Trew In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps Geoff Sutcliffe and Stephan Schulz In:IWIL-2015. 11th International Workshop on the Implementation of Logics