( en | de | ru )

 

Disambiguierung von "Winter, Victor L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Survey: Applying Formal Methods to a Software Intensive System.

, , , , , , , , und . HASE, Seite 55-64. IEEE Computer Society, (2001)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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

 

Weitere Publikationen von Autoren mit dem selben Namen

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