Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
johnsen, einar broch
(8)bernardo, marco
(2)schaefer, ina
(2)aiello, marco
(1)bonsangue, marcello
(1)bonsangue, marcello m.
(1)broch johnsen, einar
(1)damiani, ferruccio
(1)dustdar, schahram
(1)gabmeyer, sebastian
(1)georgievski, ilche
(1)haehnle, reiner
(1)petre, luigia
(1)Ábrahám, erika
(1)Verlag / Hersteller
springer berlin heidelberg
(2)springer international publishing
(8)Schlagwort
informatik
(11)edv
(10)software engineering
(8)software-entw.
(6)theorie
(6)model checking
(5)formal methods
(4)formalmethods
(4)programmiersprachen
(4)modelchecking
(3)modeling
(3)softwareengineering
(3)algorithms
(2)cloud computing
(2)cloudcomputing
(2)executable software models
(2)executablesoftwaremodels
(2)intelligenz
(2)ki
(2)künstliche intelligenz
(2)künstliche intelligenz - ai
(2)mathematik
(2)object-oriented programming
(2)runtime assessment
(2)runtime testing
(2)semantics
(2)software verification
(2)webservices
(2)abs
(1)abstract behavioral modeling
(1)abstract interpretation
(1)abstractbehavioralmodeling
(1)abstractinterpretation
(1)abstraction and refinement
(1)actor model
(1)ada
(1)algorithm
(1)algorithmic skeleton
(1)algorithmicskeleton
(1)algorithmus
(1)allgemeines
(1)anwendungen
(1)applications
(1)architecture verification and validation
(1)architectureverificationandvalidation
(1)array abstraction
(1)artificial intelligence
(1)artificialintelligence
(1)automated analysis techniques
(1)automated verification
(1)automatedanalysistechniques
(1)axiomatic semantics
(1)axiomaticsemantics
(1)business information systems
(1)businessinformationsystems
(1)cad - computer aided design
(1)codes (symbols)
(1)codes(symbols)
(1)communication protocols
(1)communicationprotocols
(1)compiler
(1)completeness for total correctness
(1)complex systems
(1)complexsystems
(1)component-based systems
(1)component-basedsystems
(1)computer
(1)computer aided software engineering
(1)computer architecture
(1)computer communication networks
(1)computer programming
(1)computer science
(1)computer software selection and evaluation
(1)computerprogrammierung und softwareentwicklung
(1)concurrent system
(1)concurrent systems
(1)concurrentsystem
(1)concurrentsystems
(1)conference proceedings
(1)constraint automata
(1)constraintautomata
(1)control structures and microprogramming
(1)correctness-by-construction
(1)data security
(1)database systems
(1)datasecurity
(1)datenverarbeitung
(1)deadlock detection
(1)deadlockdetection
(1)distributed algorithms
(1)distributed computer systems
(1)distributed data processing
(1)distributedalgorithms
(1)distributedcomputersystems
(1)domain specific languages
(1)dynamic typing
(1)edge computing
(1)edgecomputing
(1)embedded systems
(1)embeddedsystems
(1)Ergebnis: 11 Artikel
Redaktion: einar broch johnsen
