http://reply.papertrans.cn/2/101/10037/10037-21.png
Submitted on: 16 February 2015.
Revised on: 12 May 2015.
Accepted on: 04 June 2015.
___________________FORMAL METHODS IN SYSTEM DESIGN
http://reply.papertrans.cn/2/101/10037/10037-23.png
http://reply.papertrans.cn/2/101/10037/10037-24.png
Submitted on: 01 January 2017.
Revised on: 21 April 2017.
Accepted on: 20 May 2017.
___________________FORMAL METHODS IN SYSTEM DESIGN
Submitted on: 11 December 2001.
Revised on: 04 April 2002.
Accepted on: 12 May 2002.
___________________FORMAL METHODS IN SYSTEM DESIGN
http://reply.papertrans.cn/2/101/10037/10037-27.png
Submitted on: 24 September 2024.
Revised on: 10 November 2024.
Accepted on: 10 December 2024.
___________________FORMAL METHODS IN SYSTEM DESIGN
http://reply.papertrans.cn/2/101/10037/10037-29.png
http://reply.papertrans.cn/2/101/10037/10037-30.png