Abstract :
The following topics are dealt with: fault tolerance; dependability analysis; wireless sensor networks; IoT; performance evaluation; scheduling method; optimization method; formal methods; formal verification; multiprocessor systems; system modeling; system testing; and computing system engineering.
