Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
amaral, vasco
(2)antoni olivé
(2)carreira, paulo
(2)jessyka vilela
(2)vangheluwe, hans
(2)banach, richard
(1)champarnaud, jean-marc
(1)colom, jose-manuel
(1)dam, mads
(1)jana fitzgerald
(1)jéssyka flavyanne ferreira vilela
(1)koutny, maciej
(1)lau, kung-kiu
(1)martin scheuchenegger
(1)maurel, denis
(1)watson, bruce
(1)wood, derick
(1)Verlag / Hersteller
springer berlin heidelberg
(8)springer international publishing
(2)vdm verlag dr. müller
(2)Verlag
springer berlin heidelberg
(8)springer international publishing
(2)vdm verlag dr. müller
(2)Schlagwort
statecharts
(15)edv
(14)informatik
(14)modeling
(6)software engineering
(5)uml
(5)algorithms
(4)logic
(4)requirements engineering
(4)simulation
(4)unified modeling language (uml)
(4)architecture
(3)formal methods
(3)formalmethods
(3)petri nets
(3)petrinets
(3)theorie
(3)unifiedmodelinglanguage(uml)
(3)verification
(3)aadl
(2)artificial intelligence
(2)automata
(2)automata theory
(2)automatatheory
(2)automatentheorie
(2)computation by abstract devices
(2)computer engineering
(2)conceptual modeling
(2)conceptualdomainengineering
(2)concurrencymodeling
(2)design
(2)design languages
(2)designlanguages
(2)devs
(2)domain engineering
(2)embedded and cyber-physical systems
(2)embeddedandcyber-physicalsystems
(2)entity relationship modeling
(2)entityrelationshipmetaobjectfacility
(2)finite automata
(2)finiteautomata
(2)formal method
(2)formal verification
(2)formalmethod
(2)formalverification
(2)implementations
(2)künstliche intelligenz
(2)meta object facility
(2)model-driven software engineering
(2)model-drivensoftwareengineering
(2)modelica
(2)multi-paradigm modeli
(2)multi-paradigmmodeling
(2)natural language
(2)naturallanguage
(2)object constraint langua
(2)objectconstraintlangua
(2)ocl
(2)open access
(2)openaccess
(2)performance analysis
(2)performanceanalysis
(2)petri net
(2)petrinet
(2)program analysis
(2)programanalysis
(2)programming
(2)requirementsengineering
(2)software design engineering
(2)software-entw.
(2)sonstiges
(2)system and modeling
(2)system description languages
(2)system mo
(2)systemdescriptionlanguages
(2)systemmodeling
(2)unified modeling language
(2)unifiedmodelinglanguage
(2)ableitung
(1)agent (edv) - agentensystem
(1)algorithm
(1)algorithm analysis and
(1)algorithm analysis and problem comple
(1)algorithmanalysisandproblemcomplexity
(1)allgemeines
(1)ar
(1)architektur
(1)arquitectura
(1)automata computations
(1)automatacomputations
(1)behavior
(1)cellular automata
(1)cellularautomata
(1)complexity
(1)comportamiento
(1)computer commu
(1)computers / information technology
(1)concurency
(1)concurrent programming
(1)concurrentprogramming
(1)Ergebnis: 15 Artikel
Schlagwort: statecharts
