6 Treffer in 0.008 Sek.
Pervasive verification of distributed real-time systems
[Relevanz: 100%]
Autor / Herausgeber: Knapp, Steffen; Paul, Wolfgang J. | Verlagsort: Amsterdam [u.a.] | Verlag: IOS Press | Erscheinungsjahr: 2007 | 59 S.
Zeitschrift / Sammelband: Software system reliability and security
Fachgebiet: Informatik
Autor / Herausgeber: Knapp, Steffen; Paul, Wolfgang J. | Verlagsort: Amsterdam [u.a.] | Verlag: IOS Press | Erscheinungsjahr: 2007 | 59 S.
Zeitschrift / Sammelband: Software system reliability and security
Fachgebiet: Informatik
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
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
Autor / Herausgeber: Müller, Silvia Melitta; Paul, Wolfgang J. | Verlagsort: Berlin [u.a.] | Verlag: Springer | Erscheinungsjahr: 2000 | 567 S.
Fachgebiet: Informatik
Hardware-Design : formaler Entwurf digitaler Schaltungen
[Relevanz: 100%]
Autor / Herausgeber: Keller, Jörg; Paul, Wolfgang J. | Verlagsort: Stuttgart [u.a.] | Verlag: Teubner | Erscheinungsjahr: 1995 | 416 S.
Zeitschrift / Sammelband: Teubner-Texte zur Informatik; 15
Fachgebiet: Informatik
Autor / Herausgeber: Keller, Jörg; Paul, Wolfgang J. | Verlagsort: Stuttgart [u.a.] | Verlag: Teubner | Erscheinungsjahr: 1995 | 416 S.
Zeitschrift / Sammelband: Teubner-Texte zur Informatik; 15
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
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
An information-theoretic approach to time bounds for on-line computation : preliminary version
[Relevanz: 100%]
Autor / Herausgeber: Paul, Wolfgang J.; Seiferas, Joel I.; Simon, János | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 1980 | 11 S.
Zeitschrift / Sammelband: Conference proceedings of the Twelfth Annual ACM Symposium on Theory of Computing, Los Angeles, Calif. April 28-30, 1980
Fachgebiet: Informatik
Autor / Herausgeber: Paul, Wolfgang J.; Seiferas, Joel I.; Simon, János | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 1980 | 11 S.
Zeitschrift / Sammelband: Conference proceedings of the Twelfth Annual ACM Symposium on Theory of Computing, Los Angeles, Calif. April 28-30, 1980
Fachgebiet: Informatik