|
|
|
|
|
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: 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 |