Editorial Notes
The Full-text of this article has been withdrawn because the authors published a very similar article earlier. See DOI:10.1109/TC.2010.96-Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation in IEEE Transactions on Computers, 60, 4 (April 2011), pp. 538-551
Abstract
No abstract available.
Index Terms
Runtime Reconfigurations of Embedded Controllers
Recommendations
Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL
Special Issue on Modeling and Verification of Discrete Event SystemsDynamic systems that exhibit probabilistic behavior represent a large class of man-made systems such as communication networks, air traffic control, and other mission-critical systems. Evaluation of quantitative issues like performance and dependability ...
Formal Specification of Medical Systems by Proof-Based Refinement
Special Issue on Modeling and Verification of Discrete Event SystemsFormal methods have emerged as an alternative approach to ensuring quality and correctness of highly critical systems, overcoming limitations of traditional validation techniques such as simulation and testing. We propose a refinement-based methodology ...
Introduction to the Special Issue on Modeling and Verification of Discrete Event Systems
Special Issue on Modeling and Verification of Discrete Event Systems






Comments