This book details the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. Each chapter is supplemented with detailed bibliographic remarks and exercises of varying difficulty and scope.
Dr. Carlo A. Furia is a lecturer and researcher in the software engineering at ETH Zurich; his main research interests are within the area of formal methods for software engineering, including approaches to improving the quality, reliability, and correctness of software and software-intensive systems. Prof. Dino Mandrioli has been a professor of theoretical computer science at the Politecnico di Milano since 1992; his research interests are mainly in the field of theoretical computer science, software engineering and systems in real time. Prof. Angelo Morzenti is a professor at the Politecnico di Milano; his research interests are centered on languages, methods and tools for the specification, analysis, validation, verification and design of critical, real-time, distributed, embedded computer-based systems. Dr. Matteo Rossi is an assistant professor at the Politecnico di Milano; his research interests are in the area of formal methods for industrial safety-critical systems.
Angelo Morzenti, Carlo A. Furia, Dino Mandrioli, Matteo Rossi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Date of Publication
Computing: Professional & Programming
Monographs in Theoretical Computer Science. An EATCS Series
eBay Product ID (ePID)
Place of Publication
Country of Publication
Springer-Verlag Berlin and Heidelberg GmbH & Co. K