Towards Component-Based Design and Verification of a μ-Controller
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
New approach regarding the electroerosion estimation of the circuit breakers contacts
WSEAS Transactions on Circuits and Systems
SVtL: system verification through logic tool support for verifying sliced hierarchical statecharts
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Design verification in model-based μ-controller development using an abstract component
Software and Systems Modeling (SoSyM)
Information and Software Technology
Hi-index | 4.10 |
The future benefits of using formal methods in embedded system design warrant investment in the underlying expertise.