Search Results - "Formal methods"

Suggested Topics within your search.
Refine Results
  1. 1
    Understanding formal methods

    Understanding formal methods by Monin, Jean Fran?cois 1960-

    Published 2003
    Subjects: “…Formal methods (Computer science)…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Practical formal methods with VDM

    Practical formal methods with VDM by Andrews, Derek

    Published 1991
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    Introductory logic and formal methods

    Introductory logic and formal methods by Heath, David

    Published 1994
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 4
    Formal methods for VLSI design IFIP WG 10.5 lecture notes

    Formal methods for VLSI design IFIP WG 10.5 lecture notes

    Published 1990
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  5. 5
    A programming approach to formal methods

    A programming approach to formal methods by Casey, Chris

    Published 1994
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  6. 6
    Formal methods for real-time computing

    Formal methods for real-time computing

    Published 1996
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  7. 7
    Lectures on formal methods and performance analysis revised lectures/first EEF summer school on trends in computer science, July 3 - 7, 2000

    Lectures on formal methods and performance analysis revised lectures/first EEF summer school on trends in computer science, July 3 - 7, 2000

    Published 2001
    Subjects: “…Formal methods (Computer science) Congresses…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  8. 8
    The way of z practical programming with formal methods

    The way of z practical programming with formal methods by Jacky, Jonathan

    Published 1997
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  9. 9
    Formal methods fact file VDM and Z

    Formal methods fact file VDM and Z by Harry, Andrew

    Published 1996
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  10. 10
    Verification of reactive systems formal methods and algorithms

    Verification of reactive systems formal methods and algorithms by Schneider, Klaus 1967-

    Published 2004
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  11. 11
    An introduction to practical formal methods using temporal logic

    An introduction to practical formal methods using temporal logic by Fisher, Michael 1962-

    Published 2011
    “…Practical formal methods using temporal logic…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  12. 12
    Logic programming formal methods and practical applications

    Logic programming formal methods and practical applications

    Published 1995
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  13. 13
    Modeling telecom networks and systems architecture conceptual tools and formal methods

    Modeling telecom networks and systems architecture conceptual tools and formal methods by Muth, Thomas A.

    Published 2001
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  14. 14
    Dynamic logic

    Dynamic logic by Harel, David 1950-

    Published 2000
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  15. 15
    Software development with Z a practical approach to formal methods in software engineering

    Software development with Z a practical approach to formal methods in software engineering by Wordsworth, John

    Published 1995
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  16. 16
    FME 2001 formal methods for increasing software productivity

    FME 2001 formal methods for increasing software productivity

    Published 2001
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  17. 17
    Communicating embedded systems software and design : formal methods

    Communicating embedded systems software and design : formal methods

    Published 2010
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  18. 18
    Challenges for action theories

    Challenges for action theories by Thielscher, Michael

    Published 2000
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  19. 19
    Formal models of agents ESPRIT project modelage final workshop selected papers

    Formal models of agents ESPRIT project modelage final workshop selected papers

    Published 1999
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  20. 20
    Petri nets for systems engineering a guide to modeling, verification, and applications

    Petri nets for systems engineering a guide to modeling, verification, and applications by Girault, Claude, Valk, Rudiger

    Published 2003
    Subjects: “…Formal methods (Computer science)…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: