( en | de | ru )

 

Disambiguation of "Winter, Victor L."

Author of the publication

copydeleteadd this publication to your clipboard
Bay area rapid transit district advance automated train control system case study description

, , and . High integrity software, Kluwer Academic Publishers, Norwell, MA, USA, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Victor Anspach

Status quo, Perspektiven und wirtschaftliche Potenziale der Biogaserzeugung auf landwirtschaftlichen Betrieben im ökologischen Landbau. Uni Kassel, (2009)

L Bräuer

L Solymosi

L Müller

L Eberl

 

Other publications of authors with the same name

Higher-order strategic programming: A road to software assurance., , and . IASTED Conf. on Software Engineering and Applications, page 350-355. IASTED/ACTA Press, (2004)Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study., and . Monterey Workshop, volume 4322 of Lecture Notes in Computer Science, page 47-69. Springer, (2005)The TAMPR Program Transformation System: Simplifying the Development of Numerical Software., , and . SciTools, page 353-372. Birkhäuser, (1996)Two Birds: Teaching Coding and Math in Primary Schools and Beyond (Abstract Only)., and . SIGCSE, page 743. ACM, (2017)Model-driven Transformation-based Generation of Java Stress Tests.. RULE@FLoC, volume 174 of Electronic Notes in Theoretical Computer Science, page 99-114. Elsevier, (2006)In Pursuit of CS-based Educational Content Suitable for Broader Audiences., and . SIGITE, page 62-67. ACM, (2020)Proving refinement transformations for deriving high-assurance software., and . HASE, page 68-77. IEEE Computer Society, (1996)Bay area rapid transit district advance automated train control system case study description, , and . High integrity software, Kluwer Academic Publishers, Norwell, MA, USA, (2001)High Consequence Systems and Semantic Computing., , , , , , , , , and . Int. J. Semantic Comput., 7 (3): 291-324 (2013)ERTSAL: a prototype of a domain-specific aspect language for analysis of embedded real-time systems., , , and . DSAL@AOSD, page 1. ACM, (2007)