![]() |
![]() |
Control flow abstraction of call_process() | Control flow abstraction of Promela model of call_process() |
Promela model for call_process
×
https://people.iut.ac.ir/en/mahmoudzadeh/promela-model-callprocess?view=qrcode