Editors

Javier Campos received his MSc in applied mathematics and his PhD in systems engineering and computer science (with extraordinary doctorate award) from the University of Zaragoza, Spain, in 1986 and 1990, respectively. In 1986, he joined the Department of Computer Science and Systems Engineering at the University of Zaragoza, where he served as director from 2001 to 2003. In 2005, he was named full professor in computer languages and systems in the same department after winning one of the first two national competitive habilitation positions announced.

Dr. Campos’ research interests include modelling and performance evaluation of distributed and concurrent systems, Petri nets, software performance engineering, and discrete event systems ...

Get Formal Methods in Manufacturing now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.