( en | de | ru )

 

Disambiguierung von "Tanabe, Yoshinori"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Introduction of Virtualization Technology to Multi-Process Model Checking.

, , , , und . NASA Formal Methods, Volume NASA/CP-2009-215407 von NASA Conference Proceedings, Seite 106-110. (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yoshinori Aso

 

Weitere Publikationen von Autoren mit dem selben Namen

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