Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
bonsangue, marcello m.
(1)dumas, marlon
(1)heckel, reiko
(1)johnsen, einar broch
(1)lluch lafuente, alberto
(1)proença, josé
(1)Schlagwort
constraint automata
(3)edv
(3)informatik
(3)constraintautomata
(2)formal verification
(2)formalverification
(2)model checking
(2)modeling
(2)actors
(1)ada
(1)algorithm
(1)algorithmic skeleton
(1)algorithmicskeleton
(1)algorithms
(1)behavioural types
(1)behaviouraltypes
(1)bpel
(1)business process modeling
(1)businessprocessmodeling
(1)collective adaptive systems
(1)collectiveadaptivesystems
(1)communication abstractions
(1)communication protocols
(1)communicationabstractions
(1)communicationprotocols
(1)component-based systems
(1)component-basedsystems
(1)compositional semantics
(1)compositionalsemantics
(1)concurrent objects
(1)concurrentobjects
(1)constraintaut
(1)contracts
(1)dissemination techniques
(1)distribut
(1)distributed data processing
(1)formal language
(1)formal method
(1)formal methods
(1)formallanguage
(1)formalmethod
(1)formalmethods
(1)informationssystem
(1)java
(1)logics and mean
(1)microsoft sharepoint (webservices, portal)
(1)model-based design
(1)model-checking
(1)modelchecking
(1)object-oriented programming
(1)petri nets
(1)petrinets
(1)popular computer science
(1)probabilistic methods
(1)probabilistic models
(1)probabilisticme
(1)probabilisticmodels
(1)processing
(1)program analysis
(1)program semantics
(1)programmier- und skriptsprachen
(1)programmiersprachen
(1)programming
(1)serv
(1)so
(1)software engineering
(1)software-entw.
(1)theorie
(1)theory of computation
(1)uml (edv)
(1)unified modeling language (uml)
(1)unifiedmodelinglanguage(uml)
(1)variable
(1)verteiltes system
(1)verteiltes system (edv)
(1)web services (edv)
(1)xml
(1)Ergebnis: 3 Artikel
Schlagwort: constraint automata
