( en | de | ru )

 

Disambiguierung von "Araki, Keijiro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ViennaDoc: An Animatable and Testable Specification Documentation Tool.

, , , , , , und . FM Workshops (2), Volume 12233 von Lecture Notes in Computer Science, Seite 289-302. Springer, (2019)

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.

Kazuo Araki

Tadao Johannes Araki

Emiko Dorothea Araki

 

Weitere Publikationen von Autoren mit dem selben Namen

Specification slicing in formal methods of software development., und . COMPSAC, Seite 313-319. IEEE, (1993)Privacy-Aware Location Dependent Services over Wireless Internet with Anycast., , und . Human.Society@Internet, Volume 3597 von Lecture Notes in Computer Science, Seite 311-321. Springer, (2005)SIMPEL: An innovative web application interface supporting online course management system., und . ITHET, Seite 1-8. IEEE, (2012)Estimating Parallel Execution Time of Loops with Loop-Carried Dependencies., , , , und . ICPP, Vol. 3, Seite 61-69. IEEE Computer Society, (1996)0-8186-7623-X.Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware., , und . FM, Volume 9109 von Lecture Notes in Computer Science, Seite 593-596. Springer, (2015)Lamarckian Evolution of Associative Memory., und . International Conference on Evolutionary Computation, Seite 676-680. IEEE, (1996)Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud., , und . ICSOFT (1), Seite 264-268. INSTICC Press, (2009)Enforcing the optimal set of controls for state feedback with non-redundant controllers., , und . SMC, Seite 1394-1399. IEEE, (2007)A Calculus Based on the Agent-Place Model., und . ICFEM, Seite 56-63. IEEE Computer Society, (1998)Design of General Reliable Multicast Architecture with Active Network Framework., , und . ICOIN, Seite 825-830. IEEE Computer Society, (2001)