Old Web
English
Sign In
Acemap
>
Paper
>
Towards Formal Modeling and Analysis of SystemJ GALS Systems using Coloured Petri Nets
Towards Formal Modeling and Analysis of SystemJ GALS Systems using Coloured Petri Nets
2019
Zhang Weiyi
Salcic Zoran
Malik Avinash
Keywords:
Petri net
Programming language
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]