Many systems, devices and appliances used routinely in everyday life, ranging from cell phones to cars, contain significant amounts of software that is not dire

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised f

This book constitutes the refereed proceedings of the 13th International SDL Forum, SDL 2007, held in Paris, France. The 17 revised full papers presented were c

This book describes new energy saving methods and technologies for heat power engineering. The book is devoted to topical issues of energy and related industrie

This book covers diverse aspects of advanced computer and communication engineering, focusing specifically on industrial and manufacturing theory and applicatio