Concepedia
Statistics
Publications
9
Citations
97
Authors
1
Location
Verona, Italy
STM Products (Italy) is a company institution in Verona, Italy known for computer science, engineering, and embedded systems.
Top concepts
EngineeringVerificationModel CheckingComputer ScienceEmbedded SystemsSystems ModelingModel-driven DesignComputer EngineeringSoftware EngineeringSoftware Verification
STM Products (Italy), Italy
5 publications · 34 citations
2
h-index
1–1 of 1
On the integration of model-driven design and dynamic assertion-based verification for embedded software
Giuseppe Di Guglielmo, Luigi Di Guglielmo, Andreas Foltinek et al. · Journal of Systems and Software · 2012 · 24 citations
Engineering, Computer Engineering, Computer Science +14
1–1 of 9