The program covered a variety of research topics, which are of current interest, such as:
·performances,
·dependability of fieldbus based systems,
·definition of devices profiles and architectures problems,
·conformance testing and interoperability,
·scheduling,
·new technologies and wireless systems.
More and more papers related to the validation and to the evaluation of application, using formal methods and techniques. These papers came from academic and industrial authors from many countries and the diversity of the points of view expressed led to an interesting conference, rich in debates.
Many papers relate to the validation and evaluation of applications, using formal methods and techniques. These papers come from academic and industrial authors in many countries, and the diversity of the points of view expressed leads to an interesting and lively proceedings. Four plenary papers, written by well-known specialists, provide tutorial material, as well as some history and background, and introduce the more specialised content which follows. Altogether nearly 50 papers are presented.
"synopsis" may belong to another edition of this title.
(No Available Copies)
Search Books: Create a WantIf you know the book but cannot find it on AbeBooks, we can automatically search for it on your behalf as new inventory is added. If it is added to AbeBooks by one of our member booksellers, we will notify you!
Create a Want