( en | de | ru )

 

Disambiguierung von "Isobe, Yoshinao"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Eventuality in LOTOS with a Disjunction Operator.

, , und . ASIAN, Volume 1538 von Lecture Notes in Computer Science, Seite 263-281. Springer, (1998)

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.

Hiroyuki Isobe

 

Weitere Publikationen von Autoren mit dem selben Namen

Eventuality in LOTOS with a Disjunction Operator., , und . ASIAN, Volume 1538 von Lecture Notes in Computer Science, Seite 263-281. Springer, (1998)Foreword.. IEICE Trans. Inf. Syst., 97-D (5): 1139 (2014)Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture., , , , , und . Inf. Media Technol., 7 (3): 938-948 (2012)AI robustness analysis with consideration of corner cases., , , , , und . AITest, Seite 29-36. IEEE, (2021)Autonomous driving quality assurance with data uncertainty analysis., , , , und . IJCNN, Seite 1-7. IEEE, (2022)Proof Principles of CSP - CSP-Prover in Practice., und . LDIC, Seite 425-442. Springer, (2007)Corner Case Data Description and Detection., , , , , und . WAIN@ICSE, Seite 19-26. IEEE, (2021)Parallel algorithm that considers energy efficiency and time efficiency., , , , , und . ICIT, Seite 1723-1727. IEEE, (2016)A Calculus of Countable Broadcasting Systems., , und . AMAST, Volume 936 von Lecture Notes in Computer Science, Seite 489-503. Springer, (1995)A process logic for distributed system synthesis ., und . APSEC, Seite 62-69. IEEE Computer Society, (2000)