Concepts of Refinement and Simulation in BPA and B-Method.
Saved in:
| Title: | Concepts of Refinement and Simulation in BPA and B-Method. |
|---|---|
| Authors: | Výrost, Marek1, marvy@reacode.com, Korečko, Štefan1, stefan.korecko@tuke.sk, Hudák, Štefan1, stefan.hudak@tuke.sk |
| Source: | Journal of Computer Science & Control Systems; 2009, Vol. 2 Issue 2, p74-79, 6p, 7 Diagrams, 1 Chart |
| Database: | Applied Science & Technology Source |
| ISSN: | 18446043 |
|---|
