( en | de | ru )

 

Disambiguierung von "Uchihira, Naoshi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design.

, , , , und . Real Time Syst., 1 (4): 313-331 (1989)

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.

Naoshi Yamawaki

 

Weitere Publikationen von Autoren mit dem selben Namen

Information Supervisory Control of Human Behavior - A Formal Model and Simulation., , , und . SMC, Seite 2025-2030. IEEE, (2018)Analysis and Design Methodology for Recognizing Opportunities and Difficulties for Product-based Services., , , , , und . Inf. Media Technol., 3 (3): 616-629 (2008)Building Test Cases for Use in Hypersequential Programming., , und . PDSE, Seite 205-209. IEEE Computer Society, (1999)Bayesian Optimization Methods for Inventory Control with Agent-Based Supply-Chain Simulator., , , , , und . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 105-A (9): 1348-1357 (September 2022)PQL: Modal logic for compositional verification of concurrent programs.. Syst. Comput. Jpn., 25 (1): 1-16 (1994)MENDEL: Prolog Based Concurrent Object Oriented Language., , und . COMPCON, Seite 230-234. IEEE Computer Society, (1986)A Pilot Study in Using a Smart Voice Messaging System to Create a Reflection-in-Caregiving Workshop., , , , und . HCI (6), Volume 8515 von Lecture Notes in Computer Science, Seite 387-394. Springer, (2014)Analysis and Design Methodology for Product-Based Services., , , , , und . JSAI, Volume 4914 von Lecture Notes in Computer Science, Seite 13-25. Springer, (2007)Scenario-Based Hypersequential Programming: Formulation of Parallelization., , und . ISHPC, Volume 1336 von Lecture Notes in Computer Science, Seite 267-280. Springer, (1997)How can we get "lessons learned" from real cases?, , , , und . WESE, Seite 5:1-5:6. ACM, (2016)