Sciweavers

    17 search results - page 1 / 4
    » acsd 2003
    Sort
    View
    ACSD
    2003
    IEEE
    116views Hardware» more  ACSD 2003»
    CAST - A Task-Level Concurrency Analysis Tool
    15 years 8 months ago
    CAST - A Task-Level Concurrency Analysis Tool
    Download  www.es.ele.tue.nl
    Sander Stuijk, Twan Basten, Jan Ypma
    claim paper
    Read More »
    ACSD
    2003
    IEEE
    84views Hardware» more  ACSD 2003»
    Merging State-Based and Action-Based Verification
    15 years 8 months ago
    Merging State-Based and Action-Based Verification
    Download  www.cs.tut.fi
    Henri Hansen, Heikki Virtanen, Antti Valmari
    claim paper
    Read More »
    ACSD
    2003
    IEEE
    81views Hardware» more  ACSD 2003»
    A New Synchronization in Finite Stochastic Petri Box Calculus
    15 years 8 months ago
    A New Synchronization in Finite Stochastic Petri Box Calculus
    Download  www.info-ab.uclm.es
    Hermenegilda Macià, Valentín Valero ...
    claim paper
    Read More »
    ACSD
    2003
    IEEE
    117views Hardware» more  ACSD 2003»
    AutoFOCUS and the MoDe Tool
    15 years 8 months ago
    AutoFOCUS and the MoDe Tool
    Download  www4.in.tum.de
    Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar...
    claim paper
    Read More »
    ACSD
    2003
    IEEE
    211views Hardware» more  ACSD 2003»
    HiWorD: A Petri Net-Based Hierarchical Workflow Designer
    15 years 8 months ago
    HiWorD: A Petri Net-Based Hierarchical Workflow Designer
    Download  is.tm.tue.nl
    Boualem Benatallah, Piotr Chrzastowski-Wachtel, Ra...
    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.