Components Operationally: Reversibility and System Engineering
Available
This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of component-based software engineering, system modelling, and formal methods for distributed systems.From 2001 to 2015 Jean-Bernard led first the SARDES research team at Inria Grenoble-Rhône-Alpes then the SPADES research team, and from 2015 to 2021 he was the Head of Science of the Inria Grenoble-Rhône-Alpes...
Read more
E-book
pdf
Price
49.99 £
This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of component-based software engineering, system modelling, and formal methods for distributed systems.From 2001 to 2015 Jean-Bernard led first the SARDES research team at Inria Grenoble-Rhône-Alpes then the SPADES research team, and from 2015 to 2021 he was the Head of Science of the Inria Grenoble-Rhône-Alpes...
Read more