guest ::
Taylor Model Over-approximations for Flowpipe : Guard Intersections
; ;
In
5th International Workshop on Numerical Software Verification (NSV'12) : July 7-8, 2012 Berkeley, California, USA
2012
Einrichtungen
Dokumenttyp
Contribution to a conference proceedings
Format
print
Sprache
English
Interne Identnummern
RWTH-CONV-201090
Datensatz-ID: 207669
Beteiligte Länder
Germany
|
The record appears in these collections: |
Record created 2013-07-17, last modified 2026-01-02