Erscheinungsdatum
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
    • weitere Filter
    Autor
    Autor
    oliveira, jose n.
    (1)
    zave, pamela
    (1)
    Schlagwort
    Schlagwort
    automata
    (1)
    design
    (1)
    edv
    (1)
    formal methods
    (1)
    formal specification
    (1)
    formal verification
    (1)
    formalmethods
    (1)
    formalspecification
    (1)
    informatik
    (1)
    l
    (1)
    logic
    (1)
    model checking
    (1)
    modelchecking
    (1)
    productivity
    (1)
    program analysis
    (1)
    programanalysis
    (1)
    refinement
    (1)
    safety-critical systems
    (1)
    safety-criticalsystems
    (1)
    software engineering
    (1)
    software engineering/programming and operating systems
    (1)
    software patterns
    (1)
    software testing
    (1)
    software-design
    (1)
    software-entw.
    (1)
    softwarepatterns
    (1)
    softwaretesting
    (1)
    spin
    (1)
    theorie
    (1)
    unified modeling language (uml)
    (1)
    unifiedmodelinglan
    (1)

    Datenschutz-Einstellungen