( en | de | ru )

 

Disambiguation of "Takeyama, Makoto"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 2.

, , , , , , , , , and . CoRR, (2020)

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.

Makoto Yamamoto

Makoto Nakamura

Makoto Arai

Makoto Ida

Makoto Kobayashi

 

Other publications of authors with the same name

An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement., , , , and . TACS, volume 1281 of Lecture Notes in Computer Science, page 191-212. Springer, (1997)A Logical Framework with Dependently Typed Records., , and . TLCA, volume 2701 of Lecture Notes in Computer Science, page 105-119. Springer, (2003)Verifying Haskell programs by combining testing, model checking and interactive theorem proving., , and . Inf. Softw. Technol., 46 (15): 1011-1025 (2004)Universal structure and a categorical framework for type theory.. University of Edinburgh, UK, (1995)British Library, EThOS.A new method of consensus building for open systems dependability., , , and . ISSRE (Supplemental Proceedings), page 296-302. IEEE Computer Society, (2013)Syntactic Control of Interference Revisited., , , and . Theor. Comput. Sci., 228 (1-2): 211-252 (1999)Programming assurance cases in Agda.. ICFP, page 142. ACM, (2011)Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications., , and . PRDC, page 251-252. IEEE Computer Society, (2010)Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1., , , , , , , , , and . CoRR, (2020)A Modelling Approach for System Life Cycles Assurance., , and . SAFECOMP Workshops, volume 11699 of Lecture Notes in Computer Science, page 16-27. Springer, (2019)