Sortiert nach
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Mitchell, John C
- Steffen, Bernhard
- Vardi, Moshe Y
- Hutchison, David
- Kanade, Takeo
- Kittler, Josef
- Kleinberg, Jon M
- Mattern, Friedemann
- Naor, Moni
- Nierstrasz, Oscar
- Pandu Rangan, C
- Sudan, Madhu
- Terzopoulos, Demetri
- Tygar, Doug
- Weikum, Gerhard
- Kopetz, Hermann
- Damm, Werner
- Debbabi, Mourad
- GMM, VDE/VDI
- Garcia-Alfaro, Joaquin
Erscheinungsform
Schlagwort
- Verifikation
- Computer science
- Software engineering
- Logic design
- Formale Methode
- Softwareentwicklung
- Model Checking
- Artificial intelligence
- Computer Communication Networks
- Systemanalyse
- Systementwurf
- Echtzeitsystem
- Programmanalyse
- Systementwicklung
- Information Systems
- Eingebettetes System
- Formale Spezifikationstechnik
- Modellierung
- Softwaretest
- Programmverifikation
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Systemstelle
Art des Inhalts