Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    abdoulaye gamatié
    (1)
    fränzle, martin
    (1)
    markey, nicolas
    (1)
    Schlagwort
    synchronous programming
    (2)
    synchronousprogramming
    (2)
    allgemeines
    (1)
    approximation
    (1)
    automata theory
    (1)
    automatatheory
    (1)
    cir
    (1)
    computation by abstract devices
    (1)
    computationbyabstractdevices
    (1)
    computer applications
    (1)
    computerapplications
    (1)
    correct by construction
    (1)
    correctbyconstruction
    (1)
    edv
    (1)
    elektronik
    (1)
    elektrotechnik
    (1)
    embedded system design
    (1)
    embeddedsystemdesign
    (1)
    gals
    (1)
    hardware
    (1)
    hardware/software co-design
    (1)
    hybrid systems
    (1)
    hybridsystems
    (1)
    informatik
    (1)
    logics and meanings of programs
    (1)
    model checking
    (1)
    modelchecking
    (1)
    modeling
    (1)
    nachrichtentechnik
    (1)
    nested petri nets
    (1)
    network calculus
    (1)
    parametric timed automata
    (1)
    petri nets
    (1)
    petrinets
    (1)
    polyno
    (1)
    programmieren
    (1)
    programming language
    (1)
    programminglanguage
    (1)
    reliable software
    (1)
    reliablesoftware
    (1)
    safety critical embedded software
    (1)
    safetycriticalembeddedsoftware
    (1)
    schaltkreise und komponenten (bauteile)
    (1)
    signal
    (1)
    softw
    (1)
    softwareco-design
    (1)
    synchronous programming language
    (1)
    synchronousprogramminglanguage
    (1)
    technik
    (1)
    theorie
    (1)
    time semantics
    (1)
    timesemantics
    (1)
    Erscheinungsjahr
    2014
    (1)
    2016
    (1)

    Datenschutz-Einstellungen