Computer aided verification : :: SCD d'Orléans

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 July 2, 1998 : proceedings

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 July 2, 1998 : proceedings

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also incl...

ver descrição completa

Na minha lista:

Detalhes bibliográficos
Autor Corporativo:	International conference on computer-aided verification :Vancouver, Canada
Outros Autores:	Hu, Alan J. (Diretor de publicação), Vardi, Moshe Ya'akov, 1954- (Diretor de publicação)
Formato:	Livre numérique
Idioma:	Anglais
Publicado em:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
coleção:	Lecture notes in computer science 1427
Assuntos:	Génie logiciel Conception assistée par ordinateur Informatique Circuits intégrés Intelligence artificielle Évaluation Logique symbolique et mathématique Ordinateurs Ingénierie assistée par ordinateur Évaluation des logiciels Structure logique Actes de congrès
Acesso em linha:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Computer aided verification, 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998, proceedings, Alan J. Hu, Moshe Y. Vardi (eds.), 1998, Berlin, Springer, 1 vol. (IX-552 p.), Lecture notes in computer science, 3-540-64608-6 • Computer Aided Verification, Texte imprimé, 9783662193075

Registros relacionados

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

Formal methods in computer-aided design : 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18 21, 1990 : proceedings

Computer aided systems theory - EUROCAST'97 : a selection of papers from the 6th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24 28, 1997 : proceedings

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L Aquila, Italy, October 21-24, 2003 : proceedings
por: Geist, Daniel

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

Computer aided systems theory - EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 : revised selected papers

Optimization-based computer-aided modelling and design : proceedings of the first working conference of the new IFIP TC 7.6 Working Group,The Hague, The Netherlands, 1991

Computer aided systems theory - EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 : revised papers

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings

Formal methods in computer aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

Advanced information systems engineering : 12th International Conference, CAiSE 2000, Stockholm, Sweden, June 5 9, 2000 : proceedings
por: Wangler, Benkt, et al.

Formal hardware verification : methods and systems in comparison
por: Kropf, Thomas, 1961-

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4 7, 2001 : proceedings

Computer aided systems theory - EUROCAST '95 : a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995 : proceedings

Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7 11, 1992 Proceedings

Computer aided design : modelling, systems engineering, CAD-systems : CREST advanced course, Darmstadt, 8. 19. September 1980

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings

Field-programmable logic and applications : 14th International Conference, FPL 2004, Antwerp, Belgium, August 30-September 1, 2004 : proceedings
por: Becker, Jürgen, 1929-

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings

Computer aided systems theory - EUROCAST'99 : ; proceedings a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29 - October 2, 1999

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings

Computer aided systems theory - EUROCAST '89 : a selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain February 26 March 4, 1989 : proceedings

Computer aided systems theory - EUROCAST '93 : a selection of papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26 1993 : proceedings

An expert systems approach to computer-aided design of multivariable systems
por: Pang, Grantham K. H., et al.

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

Computer Aided Systems Theory EUROCAST '91 : A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory Krems, Austria, April 15 19 1991 Proceedings

Future tendencies in computer science, control and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8 11, 1992 : proceedings

Formal development of reactive systems : case study production cell
por: Lewerentz, Claus, 19..-

Correct hardware design and verification methods : [8th] IFIP WG 10.5 advanced research working conference, CHARME'95, Frankfurt, Germany, October 2-4, 1995 : proceedings

Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings

Computer-aided design
Publicado em: (1990)

Field-programmable logic : architectures, synthesis, and applications : 4th International Workshop on Field-Programmable Logic and Applications, FPL '94 Prague, Czech Republic, September 7 9, 1994 : proceedings

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

Field-programmable logic and applications : 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003 : proceedings

Advanced information systems engineering : 6th International Conference, CAiSE'94, Utrecht, The Netherlands, June 6 10, 1994 : proceedings

Field-programmable logic and applications : reconfigurable computing is going mainstream : 12th international conference, FPL 2002, Montpellier, France, September 2-4, 2002 : proceedings

Advanced information systems engineering : 10th International Conference, CAiSE '98 Pisa, Italy, June 8 12, 1998 : proceedings

Field-programmable logic and applications : 11th International Conference, FPL 2001 Belfast, Northern Ireland, UK, August 27-29, 2001 : proceedings

Fuzzy logic in artificial intelligence : IJCAI '93 workshop, Chamberry, France, August 28, 1993 : proceedings
por: Ralescu, Anca

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales