( en | de | ru )

 

Disambiguierung von "Tanabe, Yoshinori"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Runtime Monitoring for Concurrent Systems.

, , , , , , und . RV, Volume 10012 von Lecture Notes in Computer Science, Seite 386-403. Springer, (2016)

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

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 of Apache ZooKeeper: Fundamental API usage and watchers., , , , , , , , und . Softw. Test. Verification Reliab., (2020)Model-Based Testing for MQTT Applications., , und . JCKBSE, Volume 19 von Learning and Analytics in Intelligent Systems, Seite 47-59. Springer, (2020)Fixed-Point Computations over Functions on Integers with Operations min, max and plus., und . FICS, Seite 108-115. Institute of Cybernetics, (2009)A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus., , , , und . TABLEAUX, Volume 3702 von Lecture Notes in Computer Science, Seite 277-291. Springer, (2005)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)Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification., , , und . VSTTE, Volume 4171 von Lecture Notes in Computer Science, Seite 518-527. Springer, (2005)Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants., , , und . SUZA, Volume 564 von IFIP Advances in Information and Communication Technology, Seite 89-98. Springer, (2019)Pedagogical Lessons from an International Collaborative Big Data Undergraduate Research Project., , und . ECSA Workshops, Seite 32:1-32:6. ACM, (2015)Automated Detection of Respiratory Movements for Image Quality Assurance., und . J. Medical Imaging Health Informatics, 10 (7): 1473-1478 (2020)