Login / Signup
Jutamard Kawises
Publication Activity (10 Years)
Years Active: 2016-2019
Publications (10 Years): 2
Top Topics
Ims Ld
Metric Temporal Logic
Petri Net
Rdf Data
Top Venues
ICIS
SNPD
</>
Publications
</>
Jutamard Kawises
,
Wiwat Vatanawood
Formalizing Time Petri Nets with Metric Temporal Logic using Promela.
SNPD
(2019)
Jutamard Kawises
,
Wiwat Vatanawood
A development of RDF data transfer and query on Hadoop Framework.
ICIS
(2016)