Data Flow Control Systems: an Example of Safety Validation
Journal of Computer Systems Science and Engineering
IEEE Int. Symposium on Autonomous Decentralized Systems (ISADS '93)
Functional Paradigm for Designing Dependable Large-Scale Parallel Computing Systems
A Cost-Effective and Flexible Scheme for Software fault Tolerance
From Data Flow Networks to Process Algebras
This ontology contains information detailing publications held by University of Pisa
Publication export from University of Pisa
Uno Schema Efficiente per la Tolleranza a Guasti Operazionali in Architetture Multiprocessore