Search Results - "IGAWA NAO" :: K.UTB vyhledávací portál

Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking

by IGAWA, Nao, YOKOGAWA, Tomoyuki, AMASAKI, Sousuke, KONDO, Masafumi, SATO, Yoichiro, ARIMOTO, Kazutami
Published in IEICE Transactions on Information and Systems (01.03.2020)

Get full text

Journal Article

Loading…

LAMINATED BODY, MELT-KNEADED PRODUCT, AND METHOD FOR OBTAINING MELT-KNEADED PRODUCT

by IGAWA, Nao, ITO, Eiko
Year of Publication 06.06.2024

Get full text

Patent

Loading…

RECYCLED MATERIAL, FILM, SHEET AND METHOD FOR PRODUCING RECYCLED MATERIAL

by IGAWA, Nao, ITO, Eiko
Year of Publication 06.06.2024

Get full text

Patent

Loading…

LAMINATED FILM, AND METHOD FOR PRODUCING SAME

by IGAWA, Nao, ITO, Eiko
Year of Publication 08.06.2023

Get full text

Patent

Loading…

POLYPROPYLENE RESIN COMPOSITION AND MEDICAL MOLDED BODY USING THE SAME

by IGAWA NAO
Year of Publication 28.02.2019

Get full text

Patent

Loading…

LAMINATED FILM, AND PRODUCTION METHOD THEREFOR

by IGAWA, Nao, YODA, Hiroaki
Year of Publication 18.03.2021

Get full text

Patent

Loading…

LAMINATED FILM, AND PRODUCTION METHOD THEREFOR

by YODA HIROAKI, IGAWA NAO
Year of Publication 18.03.2021

Get full text

Patent

Loading…

METHOD FOR PRODUCING RESIN COMPOSITION, AND RESIN COMPOSITION

by YAMADA, Hidekazu, IGAWA, Nao, ITO, Eiko
Year of Publication 11.08.2022

Get full text

Patent

Loading…

HOLLOW CONTAINER AND ITS MANUFACTURING METHOD, AND POLYPROPYLENE RESIN COMPOSITION FOR BLOW FILL SEAL

by KATAYAMA SHINGO, IGAWA NAO
Year of Publication 28.02.2019

Get full text

Patent

Loading…

Interpolation Based Unbounded Model Checking for Time Petri Nets

by Igawa, Nao, Yokogawa, Tomoyuki, Amasaki, Sousuke, Komoku, Kiyotaka, Sato, Yoichiro, Arimoto, Kazutami
Published in 2018 IEEE 7th Global Conference on Consumer Electronics (GCCE) (01.10.2018)

Get full text

Conference Proceeding