Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
chen, yu-fang
(2)
ben hedia, belgacem
(1)cheng, chih-hong
(1)esparza, javier
(1)liu, gaiyun
(1)yu, zhenhua
(1)Schlagwort
edv
(2)informatik
(2)architecture verification and validation
(1)architectureverificationandvalidation
(1)artificial intelligence
(1)artificialintelligence
(1)automata
(1)computer programming
(1)computerprogramming
(1)cyber-physical systems
(1)cyber-physicalsystems
(1)embedded systems
(1)embeddedsystems
(1)formal logic
(1)formal methods
(1)formal verification
(1)formallogic
(1)formalmethods
(1)formalverification
(1)fuzzy sets
(1)fuzzysets
(1)graph theory
(1)graphtheory
(1)modelche
(1)petri nets
(1)petrinets
(1)probabilistic verification
(1)probabilisticverification
(1)program analysis
(1)programanalysis
(1)programming languages
(1)programminglanguages
(1)runtime verification techniques
(1)runtimeverificationtechniques
(1)semantics
(1)signal processing
(1)signalprocessing
(1)soft
(1)software architecture
(1)software de
(1)software engineering
(1)software evaluation
(1)software testing
(1)softwarearchitecture
(1)softwaredesign
(1)softwareengineering
(1)softwareevaluation
(1)softwaretesting
(1)specifications
(1)stochastic systems
(1)stochasticsystems
(1)synthesis
(1)temporal logic
(1)temporallogic
(1)verification
(1)Ergebnis: 2 Artikel
Autor: chen, yu-fang
