First Int. Workshop on Networked Group Communication, NGC '99
An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Dependable Systems
STVR - Software Testing, Verification and Reliability, John Wiley and Sons
WORDS'99F Fifth Int. Workshop on Object-oriented Real-time Dependable Systems
Dependability Modeling and Evaluation of Phased Mission Systems: a DSPN Approach
29th IEEE FTCS - Int. Symposium on Fault-Tolerant Computing - Fast Abstract Track
Sperimentazione di Diverse Metodologie e Strumenti per la Modellizzazione
A Contribution to the Evaluation of the reliability of Iterative-Execution Software
Automatic Dependability Analysis for Supporting Design Decisions in UML
IDPT '99 4th, Int. Conference on Integrated Design and Process Technology
Analysis and Validation of Protocols for the Realisation of Distributed Dependable Applications in Wireless Networks
Publication export from University of Pisa
This ontology contains information detailing publications held by University of Pisa
IEEE Transactions on Parallel and Distributed Systems, Special Issue on Dependable Real-Time Systems
Scheduling Solutions for a Unified Approach to the Tolerance of Value and Timing Faults
High-level Integrated Design Environment for Dependability (HIDE)
10th European Workshop on Dependable Computing (EWDC-10)
IEEE DCCA-7, IFIP Int. Conference on Dependable Computing for Critical Applications
Markov Regenerative Stochastic Petri Nets to Model and Evaluate the Dependability of Phased Missions
2nd IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC'99)
High-Level Petri Net Modelling of Phased Mission Systems
Towards a Discipline of System Engineering: Validation of Dependable Systems
Automated Dependability Analysis of UML Designs
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems
4th IEEE High Assurance System Engineering Symposium (HASE99)
Integrated Validation of Dependable Systems
GUARDS: a Generic Upgradable Architecture for Real-time Dependable Systems
EDCC-3 European Dependable Computing Conference (also LNCS N 1667)
Hierarchical Modelling and Evaluation of Phased-Mission Systems
Real-Time Systems Journal, Kluwer Academic Publishers