( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Stepwise Refinement of Software Development Problem Analysis.

, , и . ER, том 9974 из Lecture Notes in Computer Science, стр. 488-495. (2016)

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.

Tsutomu Munakata

Tsutomu Haga

Yoshitake Kobayashi

Wakiko Kobayashi

Wataru Kobayashi

 

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

Goal-Aware RSS for Complex Scenarios via Program Logic., , , , , , , , , и 5 other автор(ы). CoRR, (2022)An 18-bit floating-point signal processor VLSI with an on-chip 512W dual-port RAM., , , , и . ICASSP, стр. 204-207. IEEE, (1985)Stepwise Refinement of Software Development Problem Analysis., , и . ER, том 9974 из Lecture Notes in Computer Science, стр. 488-495. (2016)Extracting Traceability between Predicates in Event-B Refinement., , , и . APSEC, стр. 61-70. IEEE Computer Society, (2017)Analysis on Strategies of Superposition Refinement of Event-B Specifications., и . ICFEM, том 11232 из Lecture Notes in Computer Science, стр. 357-372. Springer, (2018)Understanding and Planning Event-B Refinement through Primitive Rationales., , и . ABZ, том 8477 из Lecture Notes in Computer Science, стр. 277-283. Springer, (2014)Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement., , , , , и . ICFEM, том 12531 из Lecture Notes in Computer Science, стр. 251-267. Springer, (2020)Goal-Aware RSS for Complex Scenarios via Program Logic., , , , , , , , , и 5 other автор(ы). IV, стр. 3154. IEEE, (2024)Refactoring Refinement Structure of Event-B Machines., , и . FM, том 9995 из Lecture Notes in Computer Science, стр. 444-459. (2016)Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty., , , , , и . NFM, том 12673 из Lecture Notes in Computer Science, стр. 198-213. Springer, (2021)