Sortiert nach
Verificationism : its history and prospects
Philosophical issues in science
Misak, Cheryl J
1995
Signatur: HNK1302
  • Bitte anmelden um Merklisten zu nutzen
Perception, sensation and verification
Rundle, Bede
1972
Signatur: HLK1265
  • Bitte anmelden um Merklisten zu nutzen
Software-Verifikation : Verfahren für den Zuverlässigkeitsnachweis von Software
Ehrenberger, Wolfgang
2002
Signatur: TWQ9425
  • Bitte anmelden um Merklisten zu nutzen
Internationale Treibhausgasverifikation : Projekt Ikarus, Teilprojekt 9
  • Bitte anmelden um Merklisten zu nutzen
Ein Protokollentwurfs- und -spezifikationsverfahren auf Basis einer erweiterten Zustandsdiagrammtechnik in Listenform mit Vorverarbeitung von Ereignissen
Hölzgen, Reinhold
1988
Signatur: D1580
  • Bitte anmelden um Merklisten zu nutzen
Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen
Berichte der Gesellschaft für Mathematik und Datenverarbeitung : 144 (Alle Bände)
Eckert, Hans
1985
Signatur: TUF1018-144
  • Bitte anmelden um Merklisten zu nutzen
Real time systems : design principles for distributed embedded applications
The Kluwer international series in engineering and computer science : 395 (Alle Bände)
Kopetz, Hermann
1997
Signatur: TWT5353
  • Bitte anmelden um Merklisten zu nutzen
Validierung & Verifizierung im Lebensmittelunternehmen : praxisnah - sicher - verständlich
Lehrke, Matthias
2019
Signatur: RRZ2024-B,7
  • Bitte anmelden um Merklisten zu nutzen
Umweltmeßnetze : Hilfsmittel der Verifikation in einem internationalen Klimaregime
Internationale Treibhausgasverifikation : 5 (Alle Bände), Berichte des Forschungszentrums Jülich : 2741 (Alle Bände)
Comes, Stefan
1993
Signatur: MQ3536
  • Bitte anmelden um Merklisten zu nutzen
Real time systems : design principles for distributed embedded applications
Real-time systems series
Kopetz, Hermann
2011
Signatur: TWT5353(2)
  • Bitte anmelden um Merklisten zu nutzen
Real time systems : design principles for distributed embedded applications
The Kluwer international series in engineering and computer science : 395 (Alle Bände)
Kopetz, Hermann
2001
Signatur: TWT5353
  • Bitte anmelden um Merklisten zu nutzen
Real time systems : design principles for distributed embedded applications
The Kluwer international series in engineering and computer science : 395 (Alle Bände)
Kopetz, Hermann
1999
Signatur: TWT5353
  • Bitte anmelden um Merklisten zu nutzen
Real time systems : design principles for distributed embedded applications
The Kluwer international series in engineering and computer science : 395 (Alle Bände)
Kopetz, Hermann
2004
Signatur: TWT5353
  • Bitte anmelden um Merklisten zu nutzen
MBMV 2021 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 24. Workshop, 18.-19. März 2021, TU München, Online-Veranstaltung
ITG-Fachbericht : 296 (Alle Bände)
MBMV;Müller-Gritschneder, Daniel[Herausgeber];Informationstechnische Gesellschaft[Herausgebendes Organ];Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik[Herausgebendes Organ]
[2021]
Signatur: XVI210024
  • Bitte anmelden um Merklisten zu nutzen
Performance oriented specification of communication protocols and verification of deterministic bounds of their QoS characteristics
GMD-Bericht : 242 (Alle Bände)
Schieferdecker, Ina
1995
Signatur: TUF1018-242
  • Bitte anmelden um Merklisten zu nutzen
Protocol specification, testing, and verification : proceedings of the International Workshop on Protocol Specification, Testing, and Verification
International Federation for Information Processing[Herausgebendes Organ];International Federation for Information Processing[Herausgebendes Organ];International Workshop on Protocol Specification, Testing and Verification[Herausgebendes Organ];International Conference on Protocol Specification, Testing, and Verification[Herausgebendes Organ];International Symposium on Protocol Specification, Testing, and Verification[Herausgebendes Organ]
1982-1988
  • Bitte anmelden um Merklisten zu nutzen
Model checking
Clarke, Edmund M;Grumberg, Orna;Peled, Doron
[2006]
Signatur: TWQ9679
  • Bitte anmelden um Merklisten zu nutzen
Fake photos
The MIT Press Essential Knowledge Series
Farid, Hany
[2019]
Signatur: JZH3866
  • Bitte anmelden um Merklisten zu nutzen
Temporal verification of reactive systems : safety
Manna, Zohar;Pnueli, Amir
1995
Signatur: TWU1613
  • Bitte anmelden um Merklisten zu nutzen
Computer aided verification of coordinating processes : the automata theoretic approach
Princeton series in computer science
Kurshan, Robert P
1994
Signatur: TVH2563
  • Bitte anmelden um Merklisten zu nutzen
Theoretical foundations of VLSI design
Cambridge tracts in theoretical computer science : 10 (Alle Bände)
Macevoy, Ken[Herausgeber]
1990
Signatur: YGQ3048
  • Bitte anmelden um Merklisten zu nutzen
Zur Simulation von Prüfprogrammen für integrierte Schaltungen
Goldbach, Michael
1998
Signatur: D12140
  • Bitte anmelden um Merklisten zu nutzen
MBMV 2022 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 25. Workshop, 17.-18. Februar 2022, Hochschule Niederrhein, Online-Veranstaltung
ITG-Fachbericht : 302 (Alle Bände)
MBMV;Brandt, Jens[Herausgeber];Informationstechnische Gesellschaft[Herausgebendes Organ];Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik[Herausgebendes Organ];Gesellschaft für Informatik[Herausgebendes Organ]
[2022]
Signatur: XVI220011
  • Bitte anmelden um Merklisten zu nutzen
Practical software testing : a process-oriented approach
Springer professional computing
Burnstein, Ilene
2003
Signatur: TWZ3628
  • Bitte anmelden um Merklisten zu nutzen
Hypothesis testing behaviour
Essays in cognitive psychology
Poletiek, Fenna
2001
Signatur: HRH6337
  • Bitte anmelden um Merklisten zu nutzen
1 – 25 von 166
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen
Art des Mediums
Autor / Autorin
Erscheinungsform
Schlagwort
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Systemstelle
Art des Inhalts