Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
alpuente, maría
(1)cofer, darren
(1)cook, byron
(1)fantechi, alessandro
(1)joubert, christophe
(1)Schlagwort
automation
(2)avionics
(2)case study
(2)casestudy
(2)compositional modeling
(2)
compositionalmodeling
(2)constraints
(2)distributed verification
(2)distributedverification
(2)edv
(2)formal specification
(2)formalspecification
(2)informatik
(2)coloured petri nets
(1)colouredpetrinets
(1)concurrency
(1)datenkommunikation
(1)demand-driven evaluation
(1)demand-drivenevaluation
(1)echtzeit
(1)flight control
(1)flightcontrol
(1)formal methods
(1)formal verification
(1)formalmethods
(1)formalverification
(1)functional specification checking
(1)functionalspecificationchecking
(1)java
(1)linux
(1)logics and meanings of programs
(1)methode (allgemein)
(1)modeling
(1)netzwerke
(1)programming languages, compilers, interpreters
(1)real-time
(1)realzeit
(1)s
(1)simulation
(1)software enginee
(1)software engineering
(1)software engineering/programming and operating systems
(1)software-entw.
(1)testing
(1)theorie
(1)verification
(1)Ergebnis: 2 Artikel
Schlagwort: compositionalmodeling
