- 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
20 December 2015
Free sample articles newly available from International Journal of Critical Computer-Based Systems
The following sample articles from the International Journal of Critical Computer-Based Systems are now available here for free:
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment