( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Adopting Variable Dependency in Animation for Presenting the Behaviour of Process.

, и . SOFL+MSVL, том 8979 из Lecture Notes in Computer Science, стр. 81-93. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Shaoying Wen

Shaoying Wang

Liu Liu

Liu Liu

Liu Liu

 

Другие публикации лиц с тем же именем

Developing an Insulin Pump System Using the SOFL Method., , , и . APSEC, стр. 334-341. IEEE Computer Society, (2007)SOFL Specification Animation with Tool Support., и . SOFL+MSVL, том 8332 из Lecture Notes in Computer Science, стр. 118-131. Springer, (2013)A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications., и . APSEC, стр. 73-80. IEEE Computer Society, (2011)PowerPoint Add-in Tool Support for Informal and Semi-Formal Specification Animation., и . APSEC, стр. 24-31. IEEE Computer Society, (2015)Dynamic Sets and Their Application in VDM., и . SAC, стр. 187-192. ACM, (1993)SOFL: A Formal Engineering Methodology for Industrial Applications.. RE, стр. 41. IEEE Computer Society, (1997)Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution., и . QRS Companion, стр. 205-212. IEEE, (2019)A Formal Approach to Secure Design of RESTful Web APIs Using SOFL., , и . SOFL+MSVL, том 12723 из Lecture Notes in Computer Science, стр. 105-125. Springer, (2020)Automated Functional Scenarios-Based Formal Specification Animation., и . APSEC, стр. 107-115. IEEE, (2012)A user-friendly formal requirements specification method.. ACM Southeast Regional Conference, стр. 211-218. ACM, (1992)