An Overview of the Eucalyptus Toolbox
نویسنده
چکیده
This article presents the essential features of a protocol engineering environment, the Eucalyptus toolbox, which has been developed or improved in the framework of two successive European-Canadian projects Eucalyptus-1 and Eucalyptus-2. This toolbox is based on the formal description technique Lotos standardized by Iso. It offers a wide range of functionalities, including simulation, compilation, verification and test case generation for Lotos descriptions.
منابع مشابه
A Novel Toolbox for Generating Realistic Biological Cell Geometries for Electromagnetic Microdosimetry
Researchers in bioelectromagnetics often require realistic tissue, cellular and sub-cellular geometry models for their simulations. However, biological shapes are often extremely irregular, while conventional geometrical modeling tools on the market cannot meet the demand for fast and efficient construction of irregular geometries. We have designed a free, user-friendly tool in MATLAB that comb...
متن کاملControl of Tetranychus urticae Koch by Thyme, Lavender and Eucalyptus Essential Oils
Two spotted spider mite (TSSM), Tetranychus urticae Koch, is an important pests on bean in Markazi Province (center of Iran). To evaluate the bioacaricidal activity of extracts of three essential oils of thyme (Thymus vulgaris), lavender (Lavandula officinalis) and eucalyptus (Eucalyptus camaldulensis) against T. urticae on cherry bean (Vigna unguiculta subsp. sinensis), five different concent...
متن کاملEssential oil composition of Eucalyptus microtheca and Eucalyptus viminalis
Objective: Eucalyptus (Fam. Myrtaceae) is a medicinal plant and various Eucalyptus species possess potent pharmacological actions against diabetes, hepatotoxicity, and inflammation. This study aims to investigate essential oil compositionfrom leaves and flowers of E. microthecaand E. viminalisleavesgrowing in the Southeast of Iran. Materials and Methods: The aerial parts of these plants were co...
متن کاملA Formal Analysis Toolbox for the Kmelia Component Model
We present in this paper the COSTO toolbox that supports the Kmelia abstract component model. First, an overview of the COSTO toolbox is given. Then the abstract component model Kmelia is presented. One main feature of the toolbox is the connection with existing tools in order to perform the analysis of specification properties. We present this approach for the dynamic aspect analysis; an examp...
متن کاملارزیابی تاثیر اسانسهای اکالیپتوس و دارچین در مقایسه با پرمترین در درمان آلودگی به شپش سر
Background and Objective: Head louse (Pediculus humanus capitis) is one of the most important parasites in humans and applying permethrin is the standard method for its control. Continuous application of this chemical increases the probability of permethrin resistance and gradually the addition of alternative substances is necessary. The aim of this study was evaluation of the efficacy of eucal...
متن کامل