Search ResultsElectronic Resources
Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
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 Dependable software systems engineering
      1. 
      Dependable software systems engineering
      by 
      Irlbeck, Maximilian, editor.
      Click to View
      Format: 
      Excerpt: 
      Computer software -- Verification -- Congresses.
      Cover image for Engineering dependable software systems
      2. 
      Engineering dependable software systems
      by 
      NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany)
      Click to View
      Format: 
      Excerpt: 
      Computer software -- Verification -- Congresses.
      Cover image for Software safety and security tools for analysis and verification
      3. 
      Software safety and security tools for analysis and verification
      by 
      NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)
      Click to View
      Format: 
      Excerpt: 
      Computer software -- Verification -- Congresses.
      Cover image for Verification of infinite-state systems with applications to security
      4. 
      Verification of infinite-state systems with applications to security
      by 
      NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timaşoara, Romania)
      Click to View
      Format: 
      Excerpt: 
      Computer software -- Verification -- Congresses.