Your search returned 26 results.

Not what you expected? Check for suggestions
1.
Principles of model checking

by Baier, Christel | Katoen, Joost-Pieter [Author].

Material type: Text 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.
Model-checking based data retrieval : an application to semistructured and temporal data / Elisa Quintarelli.

by Quintarelli, Elisa.

Material type: Text Text; Format: available online remote; 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 .
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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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.
Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings / Patrice Godefroid (ed.).

by International SPIN Workshop (12th : 2005 : San Francisco, Calif.) | Godefroid, Patrice.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: 12th International SPIN Workshop | Twelfth International SPIN Workshop | International SPIN Workshop.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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.
25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.).

by Grumberg, Orna | Veith, Helmut.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin : Springer, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
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 Text; Format: available online remote; 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.
Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings / Corina S. Pǎsǎreanu (ed.).

by International SPIN Workshop (16th : 2009 : Grenoble, France) | Păsăreanu, Corina S.

Material type: Text Text; Format: available online remote; 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 .
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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 .

Powered by Koha