To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
Modeling Physical/Digital Systems: Formal Event-B vs. Diagrammatic Thinging Machine |
|
Author |
|
| Citation |
Vol. 20 No. 4 pp. 208-220 |
|
Keywords |
Event-B conceptual model thinging machine event diagrammatic representation |
