Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-11 of 11)
Computer systems -- Verification.
1
 
2
E-book
2018

Formal system verification : state-of the-art and future trends



Cham, Switzerland : Springer, [2018]

Rating:

 
 
3
E-book
2013

The inverse method : parametric verification of real-time embedded systems


André, Etienne.
London : ISTE ; Hoboken, N.J. : Wiley, 2013

Rating:

 
 
4
Book
1999

Model checking


Clarke, Edmund M., Jr. (Edmund Melson), 1945-
Cambridge, MA : MIT Press, [1999]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  004.21 Cla/Mch  AVAILABLE
 MELB  004.21 Cla/Mch  AVAILABLE
 MELB  004.21 Cla/Mch  AVAILABLE
5
E-book
1999

Model checking


Clarke, Edmund M., Jr. (Edmund Melson), 1945-
Cambridge, Mass. : MIT Press, [1999]

Rating:

 
 
6
E-book
2010

Modeling in Event-B : system and software engineering


Abrial, Jean-Raymond.
Cambridge ; New York : Cambridge University Press, 2010

Rating:

 
 
7
E-book
2008?

Principles of model checking


Baier, Christel.
Cambridge, Mass. : MIT Press, [2008?]

Rating:

 
 
8
E-book
2010

Scalable techniques for formal verification


Ray, Sandip.
New York : Springer, [2010]

Rating:

 
 
9
E-book
2013

System-level validation : high-level modeling and directed test generation techniques


Chen, Mingsong.
New York, NY : Springer, [2013]

Rating:

 
 
10
E-book
2008

Unfoldings : a partial-order approach to model checking


Esparza, Javier.
Berlin : Springer, 2008

Rating:

 
 
11
E-book
2009

Verification and control of hybrid systems : a symbolic approach


Tabuada, Paulo.
New York : Springer, [2009]

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results