( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The SSP: An Example of High-Assurance Systems Engineering.

, , , , и . HASE, стр. 167-177. IEEE Computer Society, (2004)

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.

Victor Anspach

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

L Solymosi

L Bräuer

L Müller

L Ruess

 

Другие публикации лиц с тем же именем

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