Related Books

Formal Development of a Network-Centric RTOS
Language: en
Pages: 227
Authors: Eric Verhulst
Categories: Technology & Engineering
Type: BOOK - Published: 2011-08-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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
FM 2008: Formal Methods
Language: en
Pages: 449
Authors: Jorge Cuellar
Categories: Computers
Type: BOOK - Published: 2008-05-08 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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
SDL 2007: Design for Dependable Systems
Language: en
Pages: 300
Authors: Emmanuel Gaudin
Categories: Computers
Type: BOOK - Published: 2007-09-04 - Publisher: Springer

DOWNLOAD EBOOK

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
Systems, Decision and Control in Energy III
Language: en
Pages: 382
Authors: Artur Zaporozhets
Categories: Technology & Engineering
Type: BOOK - Published: 2021-11-30 - Publisher: Springer Nature

DOWNLOAD EBOOK

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
Advanced Computer and Communication Engineering Technology
Language: en
Pages: 1063
Authors: Hamzah Asyrani Sulaiman
Categories: Technology & Engineering
Type: BOOK - Published: 2014-11-01 - Publisher: Springer

DOWNLOAD EBOOK

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