Search ResultsElectronic Resources
Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Teamwork in multi-agent systems a formal approach
      1. 
      Teamwork in multi-agent systems a formal approach
      by 
      Dunin-Kȩplicz, Barbara.
      Click to View
      Format: 
      Excerpt: 
      Intelligent agents (Computer software)
      Cover image for Software specification methods
      2. 
      Software specification methods
      by 
      Habrias, Henri.
      Click to View
      Format: 
      Excerpt: 
      Computer software -- Specifications.
      Cover image for Communicating embedded systems software and design : formal methods
      3. 
      Communicating embedded systems software and design : formal methods
      by 
      Jard, Claude.
      Click to View
      Format: 
      Excerpt: 
      Computer software -- Development.
      Cover image for Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
      4. 
      Cover image for Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking
      5.