مرور بر اساس تاریخ انتشار Peter Csaba Ölveczky
Showing results 1 to 1 of 1
| Preview | Issue Date | Title | Contributor(s) |
|---|---|---|---|
 | 2017 | Formal modeling and analysis of distributed systems : an introduction based on executable modeling in Maude | Peter Csaba Ölveczky |