✦ LIBER ✦

Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation

✍ Scribed by Lynette I. Millett; Tim Teitelbaum

Publisher: Springer
Year: 2000
Tongue: English
Weight: 161 KB
Volume: 2
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s100090050041

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Development of a conceptual model to und

Development of a conceptual model to understand international social entrepreneurship and its application in the Ugandan context

✍ Eddy Kurobuza Tukamushaba; Laura Orobia; Babu P. George 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 264 KB

A mathematical model of neuromuscular ad

A mathematical model of neuromuscular adaptation to resistance training and its application in a computer simulation of accommodating loads

✍ Ognjen Arandjelović 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 1022 KB

Development of a distributed hydrologica

Development of a distributed hydrological model and its application to soil erosion simulation in a forested catchment during storm period

✍ Baolin Su; So Kazama; Minjiao Lu; Masaki Sawamoto 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 238 KB 👁 1 views

## Abstract A spatially distributed Xinanjiang model (DXAJ) has been developed to simulate the hourly hydrological process of a storm event caused by Typhoon No. 11 during the period of the 22–23 August 2001 in the Kamafusa Lake catchment, Miyagi Prefecture, Japan. The catchment is divided into 50

Computational modelling of 1D blood flow

Computational modelling of 1D blood flow with variable mechanical properties and its application to the simulation of wave propagation in the human arterial system

✍ S. J. Sherwin; L. Formaggia; J. Peiró; V. Franke 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 572 KB