Figure 1 - uploaded by Heyder Paez-Logreira
Content may be subject to copyright.
Hardware-based companies managing development methods of formal processes  

Hardware-based companies managing development methods of formal processes  

Similar publications

Article
Full-text available
This paper presents a small-scale laboratory system developed for emulating large belt conveyors in industrial systems. The aim was to develop a teaching tool that is suitable for use in teaching and training of both undergraduate students and engineers. Belt conveyor systems are applied to raw material (ore) transportation in mining beneficiation...
Conference Paper
Full-text available
The choreography models are important artifacts for systems based on service-oriented architecture. Conventional languages for choreography modeling, however, have a limited applicability in the embedded systems domain where service-oriented architecture is increasingly present. Therefore the main problem addressed in this doctoral study is the lac...
Article
Full-text available
Concern for the security of embedded systems that implement IoT devices has become a crucial issue, as these devices today support an increasing number of applications and services that store and exchange information whose integrity, privacy, and authenticity must be adequately guaranteed. Modern lattice-based cryptographic schemes have proven to b...