An abstract description generator for the reliability analysis in the design of real time systems

Elisabetta Binaghi, Lorenzo Lisca, Alberto Proserpio, Giacomo R. Sechi. An abstract description generator for the reliability analysis in the design of real time systems. Journal of Systems Architecture, 23(1-5):157-165, 1988. [doi]

Authors

Elisabetta Binaghi

This author has not been identified. Look up 'Elisabetta Binaghi' in Google

Lorenzo Lisca

This author has not been identified. Look up 'Lorenzo Lisca' in Google

Alberto Proserpio

This author has not been identified. Look up 'Alberto Proserpio' in Google

Giacomo R. Sechi

This author has not been identified. Look up 'Giacomo R. Sechi' in Google