Symbolic model checking :: SCD d'Orléans

Symbolic model checking

Symbolic model checking

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	McMillan, Kenneth L.
Format:	Livre papier
Jezik:	Anglais
Izdano:	Boston : Kluwer Academic cop. 1993.
Teme:	Ordinateurs > Circuits > Conception et construction Structure logique
Autres localisations:	Voir dans le Sudoc

Podobne knjige/članki

Symbolic Model Checking
od: McMillan, Kenneth L., 19..-

Evolvable systems : from biology to hardware : First International Conference, ICES 96, Tsukuba, Japan, October 7 8, 1996 : proceedings

Evolvable systems : from biology to hardware : Second International Conference, ICES 98, Lausanne, Switzerland, September 23 25, 1998 : proceedings

Digital design : principles and practices
od: Wakerly, John F.
Izdano: (1990)

Digital design : principles and practices
od: Wakerly, John F.
Izdano: (1994)

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

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

Pratique des circuits logiques
od: Bernard, Jean-Michel, 1943-, et autres
Izdano: (1987)

Integrated circuit and system design : power and timing modeling, optimization and simulation : 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : proceedings
od: Macii, Enrico

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

Conception structurée des systèmes logiques
od: Bernard, Jean-Michel, 1943-
Izdano: (1987)

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

Semantics of digital circuits
od: Kloos, Carlos Delgado

Integrated circuit design : power and timing modeling, optimization, and simulation : 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 : proceedings

Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

Integrated circuit and system design : power and timing modeling, optimization and simulation : 13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12, 2003 : proceedings

Logic Minimization Algorithms for VLSI Synthesis
od: Brayton, Robert King, 1933-, et autres

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

Trace theory and VLSI design
od: Van de Snepscheut, Jan L. A., 1953-1994

Optimisation multidisciplinaire en mécanique. Réduction de modèles, robustesse, fiabilité, réalisations logicielles
od: Filomeno Coelho, Rajan
Izdano: (2009)

Optimisation multidisciplinaire en mécanique. Démarche de conception, stratégies collaboratives et concourantes, multiniveaux de modèles et de paramètres
od: Filomeno Coelho, Rajan
Izdano: (2009)

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

Towards evolvable hardware : the evolutionary engineering approach
od: Sanchez, Eduardo, 1953-

VHDL : méthodologie de design et techniques avancées : guide pratique du concepteur
od: Schneider, Thierry
Izdano: (2001)

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

Circuits imprimés en pratique
od: Alary, Jean, 1951-
Izdano: (1999)

Analyse et synthèse des systèmes logiques
od: Mange, Daniel, 1940-
Izdano: (1981)

De la logique câblée aux microprocesseurs. Méthodes de conception de systèmes
od: Bernard, Jean-Michel, 1943-, et autres
Izdano: (1980)

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
od: Geist, Daniel

Evolvable systems : from biology to hardware : 5th international conference, ICES 2003, Trondheim, Norway, March 17-20, 2003 : proceedings

Circuits logiques programmables
od: Tavernier, Christian, 1955-
Izdano: (1996)

Logique combinatoire et technologie : cours et exercices
od: Gindre, Marcel, 1948-, et autres
Izdano: (1987)

Les circuits FPGA et le langage VHDL : une introduction pour les programmeurs et par l'exemple
od: Sérot, Jocelyn
Izdano: (2019)

Les circuits FPGA et le langage VHDL : une introduction pour les programmeurs et par l'exemple
od: Sérot, Jocelyn
Izdano: (2019)

Design and implementation of symbolic computation systems : International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings

Circuits numériques et synthèse logique : un outil : VHDL
od: Weber, Jacques, 1946-...., professeur de technologie, et autres
Izdano: (1995)

Evolvable systems : from biology to hardware : 4th International Conference, ICES 2001 Tokyo, Japan, October 3 5, 2001 : proceedings

Classical circuit theory
od: Wing, Omar, 1928-
Izdano: (2009)

Principles of model checking
od: Baier, Christel, 19..-, et autres
Izdano: (2008)

Pratique des circuits logiques
od: Bernard, Jean-Michel, 1943-, et autres
Izdano: (1990)

© 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