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:
  • 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: