|
|
|
|
| | Models and Analysis for Distributed Systems (ISTE)
Verification and hence modeling are a mandatory but intricate problem for engineers
developing embedded distributed real-time systems that are entrusted with critical
safety applications like medical care, transportation, energy production, industrial
processes, military operations. Therefore, while emerging 40 years ago, first for... | | |
|
|
Result Page: 13 12 11 10 9 8 7 6 5 4 3 2 1 |