Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
de nicola, rocco
(6)
bernardo, marco
(1)degano, pierpaolo
(1)hennicker, rolf
(1)hillston, jane
(1)kühn, eva
(1)meseguer, josé
(1)sangiorgi, davide
(1)Verlag / Hersteller
springer berlin heidelberg
(3)springer international publishing
(3)Schlagwort
edv
(6)informatik
(6)distributed systems
(3)formal methods
(3)model checking
(3)modeling
(3)programmiersprachen
(3)programming
(3)software engineering
(3)software-entw.
(3)theorie
(3)concurrency
(2)distributedsystems
(2)programming languages
(2)programminglanguages
(2)verification
(2)aggregate programming
(1)aggregateprogramming
(1)anwendungen
(1)architecture refinement
(1)architecturerefinement
(1)authentication
(1)automata
(1)automatic computing
(1)automaticcomputing
(1)betriebssystem (edv)
(1)communication
(1)compiler
(1)computational models
(1)computationalmodels
(1)computer communication netwo
(1)computer languages
(1)computerlanguages
(1)concurrent system
(1)constraint hierarchies
(1)constraint programming
(1)constrainthierarchies
(1)constraintprogramming
(1)context awareness
(1)contextawareness
(1)coordination
(1)cryptographic protocols
(1)cyber-physical systems
(1)data struc
(1)datastructures
(1)datenverarbeitung
(1)debugging
(1)declarative debugging
(1)declarativedebugging
(1)dependable computing
(1)distributed computing
(1)domain-specific languages
(1)dynamic systems
(1)dynamicsystems
(1)environment uncertainty
(1)event notification
(1)eventnotification
(1)feature-oriented design
(1)feature-orienteddesign
(1)formal analysis
(1)formal languages
(1)formal modeling
(1)formal semantics
(1)formal verification
(1)formalanalysis
(1)formallanguages
(1)formalmethods
(1)formalmodeling
(1)formalsemantics
(1)formalverification
(1)functional modules
(1)functionalmodules
(1)general logics
(1)generallogics
(1)global computing
(1)graph transformation
(1)graphtransformation
(1)hybrid systems
(1)hybridsystems
(1)informationssystem
(1)interaction
(1)interactive systems
(1)interactivesystems
(1)knowledge management
(1)knowledgemanagement
(1)language implementation
(1)languageimpleme
(1)logics
(1)logics and meanings of progr
(1)logics and meanings of programs
(1)mathematical logi
(1)mathematik, statistik
(1)mobile ambients
(1)mobile code
(1)mobile computing
(1)mobileambients
(1)model-based testing
(1)model-driven software engineering
(1)model-drivensoftwareengineering
(1)modelchecking
(1)Ergebnis: 6 Artikel
Autor: de nicola, rocco
