DocumentCode
3756346
Title
[Title page i]
fYear
2015
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.
Publisher
ieee
Conference_Titel
Computing Systems Engineering (SBESC), 2015 Brazilian Symposium on
Electronic_ISBN
2324-7894
Type
conf
DOI
10.1109/SBESC.2015.1
Filename
7423196
Link To Document