Victor L. Winter

Available identifiers

zbMath Open winter.victor-lMaRDI QIDQ1887673

List of research outcomes

Publication	Date of Publication	Type
A higher-order strategy for eliminating common subexpressions	2018-05-16	Paper
The transient combinator, higher-order strategies, and the distributed data problem	2004-11-22	Paper
A refinement-based approach to deriving train controllers	2002-04-11	Paper
On the construction of a domain language for a class of reactive systems	2002-02-27	Paper
Using virtual reality to validate system models	2001-10-21	Paper
Bay area rapid transit district advanced automated train control system -- case study description	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4356480	1998-01-14	Paper

Research outcomes over time

This page was built for person: Victor L. Winter