( en | de | ru )

 

Disambiguation of "Tanabe, Yoshinori"

Author of the publication

copydeleteadd this publication to your clipboard
Introduction of Virtualization Technology to Multi-Process Model Checking.

, , , , and . NASA Formal Methods, volume NASA/CP-2009-215407 of NASA Conference Proceedings, page 106-110. (2009)

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.

Yoshinori Aso

 

Other publications of authors with the same name

Pedagogical Lessons from an International Collaborative Big Data Undergraduate Research Project., , and . ECSA Workshops, page 32:1-32:6. ACM, (2015)Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic., , , and . VSTTE, volume 5295 of Lecture Notes in Computer Science, page 115-129. Springer, (2008)A decision procedure for alternation-free modal µ-calculi., , and . Advances in Modal Logic, page 341-362. College Publications, (2008)Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications., , , , and . SEFM, volume 7041 of Lecture Notes in Computer Science, page 350-365. Springer, (2011)Model-Based Testing for MQTT Applications., , and . JCKBSE, volume 19 of Learning and Analytics in Intelligent Systems, page 47-59. Springer, (2020)Automated verification of pattern-based interaction invariants in Ajax applications., , , and . ASE, page 158-168. IEEE, (2013)Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program., , and . FMSEE&T@FM, volume 1385 of CEUR Workshop Proceedings, page 35-42. CEUR-WS.org, (2015)Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus., , , and . IEICE Trans. Inf. Syst., 92-D (5): 995-1002 (2009)Decidability and Undecidability Results on the Modal µ-Calculus with a Natural Number-Valued Semantics., , and . WoLLIC, volume 6188 of Lecture Notes in Computer Science, page 148-160. Springer, (2010)Model-based Network Fault Injection for IoT Protocols., , , and . ENASE, page 201-209. SciTePress, (2019)