Search Results

Suggested Topics within your search.
  • Showing 1 - 17 results of 17
Refine Results
  1. 1
    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
    Click Here to View Status and Holdings.
    Unknown

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

    Challenges for action theories by Thielscher, Michael

    Published 2000
    Click Here to View Status and Holdings.
    Unknown

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

    Formal models of agents ESPRIT project modelage final workshop selected papers

    Published 1999
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 4
    Language constructs for describing features proceedings of the FIREworks workshop

    Language constructs for describing features proceedings of the FIREworks workshop

    Published 2001
    Click Here to View Status and Holdings.
    Unknown

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

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

    Published 2004
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  6. 6
    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
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  7. 7
    Dynamic logic

    Dynamic logic by Harel, David 1950-

    Published 2000
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  8. 8
    Understanding formal methods

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

    Published 2003
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  9. 9
    Validated designs for object-oriented systems

    Validated designs for object-oriented systems

    Published 2005
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  10. 10
    A pragmatic introduction to the finite element method for thermal and stress analysis

    A pragmatic introduction to the finite element method for thermal and stress analysis by Krysl, Petr

    Published 2006
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  11. 11
    Software specification method

    Software specification method

    Published 2006
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  12. 12
    Modeling and verification of real-time systems formalisms and software tools

    Modeling and verification of real-time systems formalisms and software tools

    Published 2008
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  13. 13
    Process algebra for parallel and distributed processing

    Process algebra for parallel and distributed processing

    Published 2009
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  14. 14
    Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings

    Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings

    Published 2010
    Click Here to View Status and Holdings.
    Conference Proceeding

    Save to List
    Saved in:
  15. 15
    Teamwork in multi-agent systems a formal approach

    Teamwork in multi-agent systems a formal approach by Dunin-Keplicz, Barbara

    Published 2010
    Click Here to View Status and Holdings.
    Unknown

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

    Communicating embedded systems software and design : formal methods

    Published 2010
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  17. 17
    Fuzzy computational ontologies in contex formal models of knowledge representation with membership degree and typicality of objects, and their applications

    Fuzzy computational ontologies in contex formal models of knowledge representation with membership degree and typicality of objects, and their applications by Cai, Yi

    Published 2012
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:

Search Tools: