Search Results - Schamai, Wladimir

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    An Approach to Automated Model Composition Illustrated in the Context of Design Verification

    An Approach to Automated Model Composition Illustrated in the Context of Design Verification by Schamai, Wladimir, Buffoni, Lena, Fritzson, Peter

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Testing of Autonomous Systems - Challenges and Current State-of-the-Art

    Testing of Autonomous Systems - Challenges and Current State-of-the-Art by Helle, Philipp, Schamai, Wladimir, Strobel, Carsten

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    TOWARDS THE AUTOMATION OF MODEL‐BASED DESIGN VERIFICATION

    TOWARDS THE AUTOMATION OF MODEL‐BASED DESIGN VERIFICATION by Schamai, Wladimir, Albarello, Nicolas, Helle, Philipp, Buffoni, Lena, Fritzson, Peter

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Towards the Automation of Model-Based Design Verification

    Towards the Automation of Model-Based Design Verification by Schamai, Wladimir, Helle, Philipp, Albarello, Nicolas, Buffoni, Lena, Fritzson, Peter

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Translation of UML state machines to Modelica: Handling semantic issues

    Translation of UML state machines to Modelica: Handling semantic issues by Schamai, Wladimir, Fritzson, Peter, Paredis, Chris JJ

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    5.5.1 An Overview of the SysML‐Modelica Transformation Specification

    5.5.1 An Overview of the SysML‐Modelica Transformation Specification by Paredis, Christiaan J.J., Bernard, Yves, Burkhart, Roger M, Koning, Hans‐Peter, Friedenthal, Sanford, Fritzson, Peter, Rouquette, Nicolas F, Schamai, Wladimir

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Model-Based Testing 2010: Short Abstracts

    Model-Based Testing 2010: Short Abstracts by Tretmans, Jan, Prester, Florian, Helle, Philipp, Schamai, Wladimir

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: