Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
abstract interpretation
(1)abstractinterpretation
(1)edv
(1)formal methods and theory of security
(1)formalmethodsandtheoryofsecurity
(1)general programming languages
(1)generalprogramminglanguages
(1)informatik
(1)linear loops
(1)linearloops
(1)model checking
(1)modelchecking
(1)
polyhedral sets
(1)polyhedralsets
(1)polynomi
(1)polynomial
(1)program analysis
(1)program semantics
(1)programanalysis
(1)programsemantics
(1)software verification and validation
(1)softwareverificationandvalidation
(1)symbolic and algebraic manipulation
(1)symbolicandalgebraicmanipulation
(1)Ergebnis: 1 Artikel
Schlagwort: polyhedral sets
