PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Sato, Yoichiro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Bounded model checking of Time Petri Nets using SAT solver.

, , , , , und . IEICE Electronic Express, 12 (2): 20141112 (2015)

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.

Keine Personen gefunden für den Autorennamen Sato, Yoichiro
Eine Person hinzufügen mit dem Namen Sato, Yoichiro
 

Weitere Publikationen von Autoren mit dem selben Namen

A Serial Booth Multiplier Using Ring Oscillator., , , , , und . CANDAR, Seite 458-461. IEEE, (2016)Development of a Speech-Driven Embodied Entrainment Character System with Pupil Response., , , und . HCI (5), Volume 9173 von Lecture Notes in Computer Science, Seite 378-386. Springer, (2015)A smart low power R-R-I heartbeat monitor system with contactless UWB sensor., , , , , , und . ISOCC, Seite 63-64. IEEE, (2017)Synthesis and Refinement Check of Sequence Diagrams., , , , und . IEICE Transactions, 95-D (9): 2193-2201 (2012)Consistency Verification of UML Diagrams Based on Process Bisimulation., , , , , und . PRDC, Seite 126-127. IEEE Computer Society, (2013)Systematic reducing of metastable operations in CMOS D flip-flops., , , , , und . Systems and Computers in Japan, 31 (3): 20-28 (2000)A method of shortening metastable operation duration time by the use of feedback., , , , und . Systems and Computers in Japan, 27 (10): 23-32 (1996)Interpolation Based Unbounded Model Checking for Time Petri Nets., , , , , und . GCCE, Seite 619-623. IEEE, (2018)Bounded model checking of Time Petri Nets using SAT solver., , , , , und . IEICE Electronic Express, 12 (2): 20141112 (2015)A method of affine transformation for rectangular video image., , , und . Systems and Computers in Japan, 31 (7): 75-85 (2000)