Your English writing platform
Free sign upSuggestions(1)
Exact(34)
Winter designed a model through CSP (Communicating Sequential Processes) formal modelling language and performed the model checking through FDR (Failures-Divergences Refinement) [3, 4].
L.C.K. performed the model calculations.
R.S. and B.S. performed the model calculations.
T.M. and J.E.M. performed the model calculation.
P.J.I. performed the model simulations and data analyses.
T.D. performed the model simulations and analysed the data.
Similar(26)
T.L. performed the modelling.
K.A.S., Z.Y. and B.J. performed the modelling.
O.G.S. and Y.Y. implemented and performed the modeling and analyses.
P.K. conceived the idea, P.K. and A.D.H. performed the modelling, A.N.R. and S.S. supervised the project.
S.R. developed the theory, and performed the modelling and statistical analysis.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.
Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com