Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
amaral, vasco
(2)carreira, paulo
(2)kordon, fabrice
(2)vangheluwe, hans
(2)abdennadher, nabil
(1)susanne göbel
(1)vardanega, tullio
(1)Verlag / Hersteller
springer berlin heidelberg
(2)springer international publishing
(2)Schlagwort
concurrencymodeling
(5)edv
(5)informatik
(5)concurrency modeling
(3)aadl
(2)ada
(2)ada (edv)
(2)ada programming language
(2)adaprogramminglanguage
(2)dependable computing
(2)dependablecomputing
(2)design languages
(2)designlanguages
(2)devs
(2)distributed systems
(2)distributedsystems
(2)embedded and cyber-physical systems
(2)embedded systems
(2)embeddedandcyber-physicalsystems
(2)embeddedsystems
(2)formal methods
(2)formalmethods
(2)model-driven software engineering
(2)model-drivensoftwareengineering
(2)modelica
(2)multi-paradigm modeli
(2)multi-paradigmmodeling
(2)open access
(2)openaccess
(2)performance analysis
(2)performanceanalysis
(2)petri nets
(2)petrinets
(2)real-time
(2)software design engineering
(2)statecharts
(2)system and modeling
(2)system description languages
(2)systemdescriptionlanguages
(2)ada programming
(1)adaprogramming
(1)algorithm analysis and problem complexity
(1)algorithmanalysisandproblemcomplexity
(1)allgemeines
(1)anwendungs-software
(1)architecture
(1)bisimulations
(1)compiler
(1)computer applications
(1)computer communication netw
(1)computer engineering and networ
(1)computer systems organization and communication networks
(1)computerprogrammierung und softwareentwicklung
(1)datenkommunikation
(1)fault recovery
(1)faultrecovery
(1)formal verification
(1)formalverification
(1)informationstechnik (it), allgemein
(1)logics and meanings of programs
(1)metamodeling
(1)model checking
(1)model-driven architectures
(1)model-drivenarchitectures
(1)modelchecking
(1)modeling
(1)mult
(1)multi-paradigm model
(1)multitasking
(1)netzwerk-hardware
(1)netzwerke
(1)polynomial construction
(1)polynomialconstruction
(1)pr
(1)reachability analysis
(1)reachabilityanalysis
(1)rob
(1)robot
(1)robotics
(1)software engineering
(1)softwaredesignengineering
(1)systemandm
(1)systemandmodeling
(1)theorie
(1)theory of computation
(1)uml
(1)uml (edv)
(1)verification
(1)xml
(1)xml - extensible markup language
(1)Ergebnis: 5 Artikel
Schlagwort: concurrencymodeling
