Search Results - Motet, G.

  • Showing 1 - 17 results of 17
Refine Results
  1. 1
    Risks of faults intrinsic to software languages: Trade-off between design performance and application safety

    Risks of faults intrinsic to software languages: Trade-off between design performance and application safety by Motet, G.

    Published in Safety science
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Risks of faults intrinsic to software languages: Trade-off between design performance and application safety : Resolving Multiple Criteria in Decision-Making Involving Risk of Accidental Loss

    Risks of faults intrinsic to software languages: Trade-off between design performance and application safety : Resolving Multiple Criteria in Decision-Making Involving Risk of Acci... by MOTET, G

    Published in Safety science
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Dependable computing: an overview

    Dependable computing: an overview by Motet, G., Geffroy, J.-C.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Towards better support for the evolution of safety requirements via the model monitoring approach

    Towards better support for the evolution of safety requirements via the model monitoring approach by Chen, Zhe, Motet, Gilles

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Use of constraints in Petri nets for modelling and solving scheduling problems in preliminary system design

    Use of constraints in Petri nets for modelling and solving scheduling problems in preliminary system design by Boutet, F., Motet, G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Use of constraints in Petri nets and their novel applications

    Use of constraints in Petri nets and their novel applications by Boutet, F., Motet, G., Kubek, J.-M.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Application of temporal constrained predicate nets to production systems

    Application of temporal constrained predicate nets to production systems by Kubek, J.-M., Motet, G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Dependability issues for a curriculum in real-time systems

    Dependability issues for a curriculum in real-time systems by Geffroy, J.-C., Baron, C., Motet, G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    System Safety Requirements as Control Structures

    System Safety Requirements as Control Structures by Zhe Chen, Motet, G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Modeling System Safety Requirements Using Input/Output Constraint Meta-automata

    Modeling System Safety Requirements Using Input/Output Constraint Meta-automata by Zhe Chen, Motet, G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Separating Functional and Dependability Requirements of Embedded Systems

    Separating Functional and Dependability Requirements of Embedded Systems by Zhe Chen, Motet, G

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Formalizing Safety Requirements Using Controlling Automata

    Formalizing Safety Requirements Using Controlling Automata by Zhe Chen, Motet, G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Metrics for Object-Oriented Software Reliability Assessment - Application to a Flight Manager

    Metrics for Object-Oriented Software Reliability Assessment - Application to a Flight Manager by Gaudan, S., Motet, G., Auriol, G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Validation de séquences de test fonctionnel de microprocesseurs

    Validation de séquences de test fonctionnel de microprocesseurs by LE MOING, J.-Y, MOTET, G, VERGEZ, P

    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    1.4 ps rise-time high-voltage photoconductive switching

    1.4 ps rise-time high-voltage photoconductive switching by MOTET, T, NEES, J, WILLIAMSON, X, MOUROU, G

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    1,4 ps rise-time high-voltage photoconductive switching

    1,4 ps rise-time high-voltage photoconductive switching by Motet, T, Nees, J, Williamson, S, Mourou, G

    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Picosecond High-Voltage Photoconductive Switching

    Picosecond High-Voltage Photoconductive Switching by Motet, T, Nees, J, Williamson, S, Mourou, G

    Request full text
    Report
    Save to List
    Saved in:

Search Tools: