Mostrando 31 - 40 Resultados de 46 Para Buscar '"Formal methods."', tiempo de consulta: 0.01s Limitar resultados
  1. 31

    Object-oriented systems analysis and design using UML por Bennett, Simon

    Publicado 2002
    Libro

    Object-oriented systems analysis and design using UML
  2. 32

    Dynamic logic por Harel, David 1950-, Kozen, Dexter 1951-, Tiuryn, Jerzy

    Publicado 2000
    Click here to access thru EZproxy
    Click here to access
    Electronic Resource

    Dynamic logic
  3. 33

    Invariants and state in testing and formal methods. por Hamlet, Dick

    Artículo

    Invariants and state in testing and formal methods.
  4. 34

    Towards a unified formal model for supporting mechanisms of dynamic component update Full text PdfPdf (268 KB). por Shen, Junrong

    Artículo

    Towards a unified formal model for supporting mechanisms of dynamic component update Full text PdfPdf (268 KB).
  5. 35

    Relational analysis of algebraic datatypes. por Kuncak, Viktor

    Artículo

    Relational analysis of algebraic datatypes.
  6. 36

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. por Dingel, Juergen

    Artículo

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  7. 37

    Interface automata. por De Alfaro, Luca

    Artículo

    Interface automata.
  8. 38

    Using symbolic execution for verifying safety-critical systems. por Coen-Porisini, Alberto

    Artículo

    Using symbolic execution for verifying safety-critical systems.
  9. 39

    Combining UML and formal notations for modelling real-time systems. por Lavazza, Luigi

    Artículo

    Combining UML and formal notations for modelling real-time systems.
  10. 40

    A formal data-model of the CORBA security service. por Basin, David

    Artículo

    A formal data-model of the CORBA security service.

Herramientas de búsqueda: