Using Event-B for Critical Device Software Systems

Defining a new development life-cycle methodology, together with a set of associated technique...

Aptamers

The book discusses the basics of aptamers and the advent of aptamer-based technology in rece...

Pathology, Prevention and Therapeutics of Neurodegenerative Disease

This book, written by a leading panel of experts in the field of neurosciences, provides...

Industrial System Engineering for Drones

Explore a complex mechanical system where electronics and mechanical engineers work tog...

Proceedings of First International Conference on Computing, Communications, and Cyber-Security (IC4S 2019)

This book features selected research papers presented at the First International Confer...

Constructed Wetlands for Sustainable Wastewater Treatment and Biocircular Economy

This book provides a comprehensive exploration of the role of constructed wetlands in sustainable...

Next Generation Cruise

The Next Generation Cruise is a vehicle. Theoretically, it is supposed to follow a vehicle of cho...

An Efficient Load Balancing Algorithm in Distributed Network

A distributed system is a communication intensive system; where each system sends and receives so...

Using Event-B for Critical Device Software Systems

Distributed Agile Development System: A Paradigm Shift

It has always been argued that the two practices (distribution + agile) are actually incompatible...