×

Found 19 Documents (Results 1–19)

Theorem-proving analysis of digital control logic interacting with continuous dynamics. (English) Zbl 1351.68249

Bogomolov, Sergiy (ed.) et al., Selected papers based on the presentations at the 7th and 8th international workshops on numerical software verification (NSV), Vienna, Austria, July 17–18, 2014 and April 13, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 317, 71-83 (2015).
MSC:  68T15 68Q60 80A99 93C30
PDFBibTeX XMLCite
Full Text: DOI

Numerical investigation of non-reactive and reactive turbulent spray flows. (English) Zbl 1281.76002

Heidelberg: Univ. Heidelberg, Naturwissenschaftlich-Mathematische Gesamtfakultät (Diss.). viii, 84 p., xv. (2013).
MSC:  76-02 76T10 76V05 76M25 76M12 76F60 80A25
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software