✦ LIBER ✦

A formal method for data flow diagram based on MAS

✍ Scribed by Wu Guoqing; Liu Liangguan; Xu Yu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal requirements specification meth

✍ Shaoying Liu 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 983 KB

A formal framework for verifying distrib

✍ Francois Carcenac; Frederic Boniol 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 699 KB

On the development of a formal methods-b

✍ S Tran; J Cullyer; E Hines; K Marks 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 364 KB

Assessment of a method for cultivar sele

✍ C. S. Lin; M. R. Binns 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 798 KB

A method for data classification based o

✍ Sun Shi-bao; Qin Ke-yun 📂 Article 📅 2006 🏛 Wuhan University 🌐 English ⚖ 299 KB

A numerical analysis method based on flo

✍ R.W. Jakeman 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 819 KB