Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
ter beek, maurice h.
(6)
de lemos, rogério
(1)fabre, jean-charles
(1)fantechi, alessandro
(1)gacek, cristina
(1)gadducci, fabio
(1)gnesi, stefania
(1)knapp, alexander
(1)lohman, niels
(1)mciver, annabelle
(1)nickovic, dejan
(1)oliveira, josé n.
(1)semini, laura
(1)Verlag / Hersteller
springer berlin heidelberg
(2)springer international publishing
(4)Schlagwort
edv
(6)informatik
(6)formal methods
(5)formalmethods
(5)model checking
(4)modelchecking
(4)software engineering
(4)artificial intelligence
(2)artificialintelligence
(2)computer architecture
(2)computerarchitecture
(2)embedded systems
(2)embeddedsystems
(2)formal logic
(2)formallogic
(2)programming languages
(2)programminglanguages
(2)semantics
(2)softwareengineering
(2)allgemeines
(1)anwendungs-software
(1)architecture
(1)architecture verification and validation
(1)architectureverificationandvalidation
(1)authentication
(1)automata theory
(1)automatatheory
(1)bpel
(1)cluster computing
(1)clustercomputing
(1)com
(1)computer programming
(1)computerprogramming
(1)constraint satisfaction
(1)constraintsatisfaction
(1)cyber-physical systems
(1)cyber-physicalsystems
(1)data security
(1)databases
(1)datasecurity
(1)datenbanken, datenbanken-systeme (industrie), datenbank-technik
(1)datenverarbeitung
(1)design
(1)distributed systems
(1)distributedsystems
(1)dynamic analysis
(1)dynamicanalysis
(1)fault tolerance
(1)faulttolerance
(1)formal model
(1)formal specification
(1)formal verification
(1)formal verifications
(1)formalmodel
(1)formalspecification
(1)formalverification
(1)formalverifications
(1)gaussian processes
(1)gaussianprocesses
(1)grammars and context-free languages
(1)grammarsandcontext-freelanguages
(1)industrial-critical systems
(1)industrial-criticalsystems
(1)information systems applications (incl. internet)
(1)information systems applications (incl.internet)
(1)informationsrückgewinnung, information retrieval
(1)informationstechnologie
(1)internet of things
(1)internetofthings
(1)it
(1)it operatio
(1)linear type-systems
(1)lineartype-systems
(1)logic and verification
(1)logicandverification
(1)logics and meanings of programs
(1)management of computing and information systems
(1)mobile robots
(1)mobilerobots
(1)modeling
(1)monitorability
(1)monitoring algorithms
(1)monitoringalg
(1)natural language processing
(1)naturallanguageprocessing
(1)peer
(1)petri nets
(1)petrinets
(1)probabilistic systems
(1)problem solving
(1)problemsolving
(1)programmieren
(1)programmiersprachen
(1)programming languages, compilers, interpreters
(1)quantitative analysis
(1)quantitative semantics
(1)real-time systems
(1)redundancy
(1)reg
(1)rei
(1)Ergebnis: 6 Artikel
Autor: ter beek, maurice h.
