( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles.

, , , , и . Applicable Formal Methods for Safe Industrial Products, том 14165 из Lecture Notes in Computer Science, стр. 180-201. Springer, (2023)

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.

Werner Damm

Werner Damm

Klaus-Werner Damm

Klaus-Werner Damm

Klaus-Werner Damm

 

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

Autonome Systeme - Fähigkeiten und Anforderungen., и . Inform. Spektrum, 40 (5): 400-408 (2017)Modular Verification of Petri Nets: The Temporal Logic Approach., , , и . REX Workshop, том 430 из Lecture Notes in Computer Science, стр. 180-207. Springer, (1989)Design and specification of microprogrammed computer architectures.. MICRO, стр. 3-10. ACM/IEEE, (1985)LSCs: Breathing Life into Message Sequence Charts., и . Formal Methods Syst. Des., 19 (1): 45-80 (2001)An axiomatization of low-level parallelism in microarchitectures.. MICRO, стр. 314-323. ACM/IEEE, (1984)Does It Pay to Extend the Perimeter of a World Model?, и . FM, том 6664 из Lecture Notes in Computer Science, стр. 12-26. Springer, (2011)Top-Down Tree-Transducers for Infinite Trees I., и . CAAP, том 112 из Lecture Notes in Computer Science, стр. 117-134. Springer, (1981)Introduction to Subject Area ^a€oeCharts"i¿½?, и . (2004)A Sound and Relatively* Compete Axiomatization of Clarke's Language L4., и . Logic of Programs, том 164 из Lecture Notes in Computer Science, стр. 161-175. Springer, (1983)Controlling Speculative Design Processes Using Rich Component Models.. ACSD, стр. 118-119. IEEE Computer Society, (2005)