Login / Signup
Vegard Veiset
Publication Activity (10 Years)
Years Active: 2013-2016
Publications (10 Years): 1
Top Topics
Metamodel
Platform Independent
Accurate Models
Coloured Petri Nets
Top Venues
Petri Nets
PNSE+ModPE
</>
Publications
</>
Lars Michael Kristensen
,
Vegard Veiset
Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol.
Petri Nets
(2016)
Vegard Veiset
,
Lars Michael Kristensen
Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol.
PNSE+ModPE
(2013)