Вы здесь

Главная

New Orleans

Связанные издания:

An Exeption Handling Model for Parallel Programming and Its Verification
A Real-Time Transition Model for Analyzing Behavioral Compatibility of telecommunacation Services
Assessing the Fault-Detecting Ability of Testing Methods
A Systematic Kernel Development
Automated Analysis of Bounded Response Time for Two NASA Expert Systems
Formal Verification of Algorithms for Critical Systems
On Satisfying Timing Constraints in Hard-Real-Time Systemes
Proceedings of the Third Symposium on Operating Systems Design and Implementation (OSDI 99), New Orleans, Louisiana, February 22-25, 1999
Programming and Verifying critical Systems by Means of the Synchronous Data-Flow Language LUSTRE
Rigorous Development Using RAISE
Software Engineering Notes: Proc. of the ACM SIGSOFT 91 Conf. on Software For Critical Systems, New Orleans, Louisiana, December 4-6, 1991
Specifying and Verifying Requirements of Real-Time Systems
State-Based Model Checking of Event-Driven System Requirements
Stepwise Design of Real-Time Systems
The Infeasibility of Experimental Quantification of Life-Critical Software Reliability