Treffer 1 - 8 von 8 für Suche 'Apvrille, Ludovic', Suchdauer: 0,22s Treffer weiter einschränken
  1. 1
    Interfacing Digital and Analog Models for Fast Simulation and Virtual Prototyping
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Direct Model-checking of SysML Models
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Impact of Security Measures on Performance Aspects in SysML Models
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Optimizing System Architecture Cost and Security Countermeasures
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    High-level Partitioning and Design Space Exploration for Cyber Physical Systems
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Dependency Graphs to Boost the Verification of SysML Models
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: