|
|
1.
|
Principles of model checking by Baier, Christel | Katoen, Joost-Pieter [Author]. Material type:  Text; Format:
print
; Literary form:
Not fiction
Language: English Publisher: Cambridge, Mass. [u.a.] MIT Press 2008Online access: table of contents Availability: No items available Checked out (1).
|
|
|
2.
|
|
|
|
3.
|
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds). by VMCAI 2004 (2004 : Venice, Italy) | Steffen, Bernhard | Levi, G. (Giorgio), 1942- | ACM Symposium on Principles of Programming Languages (31st : 2004 : Venice, Italy). Material type: Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2004Other title: VMCAI 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
4.
|
Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier, eds. by International SPIN Workshop (11th : 2004 : Barcelona, Spain) | Graf, Susanne | Mounier, Laurent. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
5.
|
Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Kurt Jensen, Andreas Podelski (eds.). by TACAS (Conference) (10th : 2004 : Barcelona, Spain) | Jensen, K. (Kurt), 1950- | Podelski, Andreas. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer-Verlag, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
6.
|
Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Nicolas Halbwachs, Lenore D. Zuck (eds.). by TACAS (Conference) (11th : 2005 : Edinburgh, Scotland) | Halbwachs, Nicolas | Zuck, Lenore D, 1958- | ETAPS (Conference) (8th : 2005 : Edinburgh, Scotland). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
7.
|
|
|
|
8.
|
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi. by VMCAI 2006 (2006 : Charleston, S.C.) | Emerson, E. Allen | Namjoshi, Kedar S. Edition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer-Verlag, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
9.
|
Quality of software architectures and software quality : First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedings / Ralf Reussner [and others] (eds.). by International Conference on the Quality of Software Architectures (1st : 2005 : Erfurt, Germany) | Reussner, Ralf | International Workshop on Software Quality (2nd : 2005 : Erfurt, Germany). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2005Other title: QoSA 2005 | SOQUA 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
10.
|
Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, the Netherlands, November 29--December 2, 2005 : proceedings / Judi Romijn, Graeme Smith, Jaco van de Pol (eds.). by International Conference on Integrated Formal Methods (5th : 2005 : Eindhoven, Netherlands) | Romijn, Judi | Smith, Graeme, 1966- | Pol, Jaco van de. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
11.
|
Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers / Wolfgang Grieskamp, Carsten Weise (eds.). by FATES 2005 (2005 : Edinburgh, Scotland) | Grieskamp, Wolfgang, 1960- | Weise, Carsten. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2006Other title: FATES 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
12.
|
|
|
|
13.
|
Model checking and artificial intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers / Doron A. Peled, Michael J. Wooldridge (eds.). by MoChArt 2008 (2008 : Patra, Greece) | Peled, Doron A, 1962- | Wooldridge, Michael J, 1966-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer, ©2009Other title: MoChArt 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
14.
|
|
|
|
15.
|
Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / Darren Cofer, Alessandro Fantechi (eds.). by International Workshop on Formal Methods for Industrial Critical Systems (13th : 2008 : L'Aquila, Italy) | Cofer, Darren | Fantechi, Alessandro. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, ©2009Other title: FMICS 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
16.
|
Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / Joël Ouaknine, Frits W. Vaandrager, (eds.). by FORMATS (Conference) (7th : 2009 : Budapest, Hungary) | Ouaknine, Joël | Vaandrager, Frits. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
17.
|
Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings / Zhiming Liu, Anders P. Ravn (eds.). by ATVA (Symposium) (7th : 2009 : Macau, China) | Liu, Zhiming, 1961- | Ravn, Anders P. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer-Verlag, ©2009Other title: ATVA 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
18.
|
Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings / Karin Breitman, Ana Cavalcanti (eds.). by International Conference on Formal Engineering Methods (11th : 2009 : Rio de Janeiro, Brazil) | Breitman, K. K. (Karin K.) | Cavalcanti, Ana. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, ©2009Other title: ICFEM 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
19.
|
Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.). by Brazilian Symposium on Formal Methods (12th : 2009 : Gramado, Brazil) | Oliveira, Marcel Vinícius Medeiros | Woodcock, Jim. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2009Other title: SBMF 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
20.
|
Tests and proofs : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings / Gordon Fraser, Angelo Gargantini (eds.). by TAP 2010 (2010 : Málaga, Spain) | Fraser, Gordon | Gargantini, Angelo, 1969-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|