Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    amine, abdelmalek
    (2)
    bellatreche, ladjel
    (2)
    bashir i morshed
    (1)
    braga, christiano
    (1)
    mohamed, otmane ait
    (1)
    otmane, ait mohamed
    (1)
    pitts, andrew
    (1)
    ölveczky, peter csaba
    (1)
    Genre
    mathematik
    (5)
    medizin
    (5)
    naturwissenschaften
    (5)
    technik
    (5)
    Schlagwort
    modeling approaches
    (5)
    modelingapproaches
    (5)
    allgemeines
    (3)
    technik
    (3)
    algorithms
    (2)
    analysis tools
    (2)
    analysistools
    (2)
    artificial intelligence
    (2)
    certification
    (2)
    ciia'2013
    (2)
    ciia'2013
    (2)
    computational intelligence
    (2)
    computationalintelligence
    (2)
    edv
    (2)
    formal methods
    (2)
    formal models
    (2)
    formal semantics
    (2)
    formalmethods
    (2)
    formalmodels
    (2)
    formalsemantics
    (2)
    informatik
    (2)
    künstliche intelligenz
    (2)
    lexika
    (2)
    modeling algorithms
    (2)
    modelingalgorithms
    (2)
    models of computation
    (2)
    theorie
    (2)
    algorithmen
    (1)
    b formal language
    (1)
    b-method
    (1)
    bformallanguage
    (1)
    communicationtopologies
    (1)
    component reuse
    (1)
    component software
    (1)
    component-based software
    (1)
    component-basedsoftware
    (1)
    componentreuse
    (1)
    componentsoftware
    (1)
    compositionality
    (1)
    computerprogramm
    (1)
    consistency checking
    (1)
    consistencychecking
    (1)
    elektronik
    (1)
    elektrotechnik
    (1)
    embedded systems design textbook
    (1)
    embeddedsystemsdesigntextbook
    (1)
    evolution rules
    (1)
    evolutionrules
    (1)
    internet of things (iot)
    (1)
    internetofthings(iot)
    (1)
    kopetz embedded system design principles
    (1)
    kopetzembeddedsystemdesignprinciples
    (1)
    logic and verification
    (1)
    logicandverification
    (1)
    m
    (1)
    mathematical logic and
    (1)
    microcontrollers
    (1)
    model checking
    (1)
    modelchecking
    (1)
    modeling
    (1)
    modelsofco
    (1)
    mutex
    (1)
    nachrichtentechnik
    (1)
    operational semantics
    (1)
    peripherals and b
    (1)
    peripheralsandbussystem
    (1)
    program analysis
    (1)
    programmable system on a chip (psoc)
    (1)
    programmablesystemonachip(psoc)
    (1)
    programmingwi
    (1)
    quantita
    (1)
    sensors and actuators
    (1)
    sensorsandactuators
    (1)
    service-o
    (1)
    simulation
    (1)
    software engineering
    (1)
    software-entw.
    (1)
    softwareengineering
    (1)
    virtualization
    (1)
    Erscheinungsjahr
    2013
    (1)
    2015
    (2)
    2016
    (1)
    2021
    (1)

    Datenschutz-Einstellungen