Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
abate, alessandro
(1)bogomolov, sergiy
(1)boldo, sylvie
(1)martel, matthieu
(1)prabhakar, pavithra
(1)zamani, majid
(1)zufferey, damien
(1)Schlagwort
edv
(3)informatik
(3)computerprogrammierung und softwareentwicklung
(2)logics and meanings of programs
(2)numerical simulation
(2)software engineering
(2)theorie
(2)abstraction techniques
(1)algorithmus
(1)allgemeines
(1)artificial intelligence
(1)artificialintelligence
(1)computers
(1)correctness of numerical programs
(1)cyber-physical systems
(1)database
(1)datenverarbeitung
(1)decision theory
(1)decisiontheory
(1)dependable systems
(1)differential equations
(1)embedded systems
(1)embedded systems verification
(1)fault-tolerant systems and networks
(1)formal abstractions
(1)formal specification of numeric
(1)games
(1)general
(1)hybrid automaton
(1)hybrid systems
(1)informatik, computer
(1)informationssystem
(1)intelligenz
(1)internet
(1)internet of things
(1)ki
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)learning algorithms
(1)learningalgorithms
(1)logik
(1)maschine
(1)mathematik
(1)model ba
(1)model checking
(1)modelchecking
(1)numerical opti
(1)numerical optimisation methods
(1)numericalsimulation
(1)optimal control
(1)parameter identification
(1)probabilistic models
(1)programmieren
(1)programming
(1)propagation of uncertainties
(1)roboter - robotik - industrieroboter
(1)semantics
(1)simulation
(1)software evaluation
(1)software-entw.
(1)softwareengineering
(1)softwareevaluation
(1)specifications
(1)statistical verification
(1)stochastic processes
(1)suchmaschine
(1)suchmethoden, spezielle anwender
(1)the computing profession
(1)theory
(1)verification
(1)Ergebnis: 3 Artikel
Titel: numerical software verification
