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...

Innovations and Sustainability in Civil Engineering: Shaping Tomorrows Infrastructure Volume 1

This book contains the proceedings of the 1st International Conference on Innovations and Sustain...

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...

Photodynamic Therapy In Periodontics

Microbial biofilms in the oral cavity are involved in the etiology of various oral conditions, in...

Using Event-B for Critical Device Software Systems

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