Corradini, Flavio.
Overview
Works: | 0 works in 0 publications in 0 languages |
---|
Titles
A process algebraic approach to software architecture design
by:
Aldini, Alessandro.; Bernardo, Marco.; Corradini, Flavio.; SpringerLink (Online service)
(Electronic resources)
Formal methods for the design of real-time systemsInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures /
by:
(1998 :); Bernardo, Marco.; Corradini, Flavio.; SpringerLink (Online service)
(Electronic resources)