Sciweavers

    1031 search results - page 15 / 207
    » Modeling and Formal Verification of Production Automation Sy...
    Sort
    View
    FDL
    2003
    IEEE
    101views Natural Language Processing» more  FDL 2003»
    Combining Formal Refinement and Model Checking for Real-Time Systems Verification
    15 years 10 months ago
    Combining Formal Refinement and Model Checking for Real-Time Systems Verification
    Download  www.c-lab.de
    Alexander Krupp, Wolfgang Müller 0003
    claim paper
    Read More »
    122
    Voted
    ICECCS
    2009
    IEEE
    116views Hardware» more  ICECCS 2009»
    UML Modeling and Formal Verification of Control/Data Driven Embedded Systems
    16 years 6 hour ago
    UML Modeling and Formal Verification of Control/Data Driven Embedded Systems
    Download  www.artist-embedded.org
    Fateh Boutekkouk, Mohamed Benmohammed
    claim paper
    Read More »
    ICFEM
    2007
    Springer
    76views Software Engineering» more  ICFEM 2007»
    From Model-Based Design to Formal Verification of Adaptive Embedded Systems
    15 years 9 months ago
    From Model-Based Design to Formal Verification of Adaptive Embedded Systems
    Download  www.dasmod.de
    Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
    claim paper
    Read More »
    146
    Voted
    EDOC
    2000
    IEEE
    130views Distributed And Parallel Com...» more  EDOC 2000»
    Model Checking of Workflow Schemas
    15 years 9 months ago
    Model Checking of Workflow Schemas
    Download  ti.arc.nasa.gov
    Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
    Christos T. Karamanolis, Dimitra Giannakopoulou, J...
    claim paper
    Read More »
    GTTSE
    2007
    Springer
    153views Software Engineering» more  GTTSE 2007»
    Automated Merging of Feature Models Using Graph Transformations
    15 years 11 months ago
    Automated Merging of Feature Models Using Graph Transformations
    Download  www.lsi.us.es
    Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...
    Sergio Segura, David Benavides, Antonio Ruiz Cort&...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.