Amanote Research

Amanote Research

    RegisterSign In

Verification and Design Exploration Through Meta Tool Integration With OpenModelica

doi 10.3384/ecp14096353
Full Text
Open PDF
Abstract

Available in full text

Date

March 10, 2014

Authors
Zsolt LattmannAdrian PopJohan De KleerPeter FritzsonBill JanssenSandeep NeemaTed BaptyXenofon KoutsoukosMatthew KlenkDaniel BobrowBhaskar SahaTolga Kurtoglu
Publisher

Linköping University Electronic Press


Related search

Verification of Software via Integration of Design and Implementation

2006English

Conceptual Aircraft Design Exploration Through Functional Approach

Applied Mechanics and Materials
2013English

TAMTAMS: A Flexible and Open Tool for UDSM Process-To-System Design Space Exploration

2012English

Risk Reduction With a Fuzzy Expert Exploration Tool

2003English

Preliminary Verification and Validation of WEC-Sim, an Open-Source Wave Energy Converter Design Tool

2014English

MATLAB as a Design and Verification Tool for the Hardware Prototyping of Wireless Communication Systems

2012English

Risk Reduction With a Fuzzy Expert Exploration Tool

2003English

A Methodology for Cutting-Tool Management Through the Integration of CAPP and Scheduling

International Journal of Production Research
IndustrialManufacturing EngineeringStrategyManagement ScienceManagementOperations Research
2008English

Verification of Concurrent Design Patterns With Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy