The following sample articles from the
International Journal of Critical Computer-Based Systems are now
available here for free:
- Strong and weak stochastic bounds for multidimensional Markov chains
- Managing energy in a network of reconfigurable optical add/drop multiplexers
- A RT-Maude-based framework for component installation
- Verifying while loops with invariant relations
- On combining the ready sets with the covering steps methods
- LTL translation improvements in Spot 1.0
- A formal framework to specify and verify real-time properties on critical systems
No comments:
Post a Comment
Note: only a member of this blog may post a comment.