Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
cha, sungdeok
(2)choi, jin-young
(1)kang, kyochul
(1)kim, moonzoo
(1)taylor, richard n.
(1)viswanathan, mahesh
(1)Schlagwort
edv
(2)formal methods
(2)informatik
(2)software engineering
(2)software-entw.
(2)theorie
(2)algorithms
(1)allgemeines
(1)ants
(1)automata
(1)berufe
(1)cloud computing
(1)computer communication networks
(1)datenkommunikation
(1)design
(1)embedded systems
(1)embeddedsystems
(1)empirical software engineering
(1)fault tolerance
(1)faulttolerance
(1)first-order logic
(1)first-orderlogic
(1)formalmethods
(1)genetic programming
(1)geneticprogramming
(1)informationstechnologie
(1)it
(1)logics and meanings of pr
(1)management of computing and information systems
(1)mathematical logi
(1)model checking
(1)modelchecking
(1)netzwerk (elektronisch)
(1)netzwerk-hardware
(1)netzwerke
(1)petri nets
(1)petrinets
(1)programmieren
(1)programmiersprachen
(1)programming
(1)requirements engineering
(1)sicherheit
(1)software architecture
(1)software development process management
(1)software management
(1)software product lines
(1)software testing
(1)software verification and validation
(1)t
(1)technologie
(1)testing
(1)validation
(1)verification
(1)wirtschaft
(1)wirtschaftsmathematik
(1)wirtschaftsrechn
(1)Ergebnis: 2 Artikel
Redaktion: sungdeok cha
