Partner

3 Treffer in 0.006 Sek.

On the correctness of operating system kernels [Relevanz: 100%]
Autor / Herausgeber: Gargano, Mauro; Paul, Wolfgang J. |  Verlagsort: Berlin [u.a.] |  Verlag: Springer |  Erscheinungsjahr: 2005 | 16 S.
Zeitschrift / Sammelband: Theorem proving in higher order logics
Fachgebiet: Informatik
Computer architecture : complexity and correctness ; with 185 tables [Relevanz: 100%]
Autor / Herausgeber: Müller, Silvia Melitta; Paul, Wolfgang J. |  Verlagsort: Berlin [u.a.] |  Verlag: Springer |  Erscheinungsjahr: 2000 | 567 S.
Fachgebiet: Informatik
Instantiating uninterepreted functional units and memory system : functional verification of the VAMP [Relevanz: 100%]
Autor / Herausgeber: Beyer, Sven; Paul, Wolfgang J. |  Verlagsort: Berlin [u.a.] |  Verlag: Springer |  Erscheinungsjahr: 2003 | 15 S.
Zeitschrift / Sammelband: Correct hardware design and verification methods
Fachgebiet: Informatik

Aktive Filter [Filter entfernen]

Suchergebnis einschränken

Fachgebiet

Erscheinungsjahr

Sprache