Électronique et Électrotechnique
Permanent URI for this communityhttp://192.168.16.104:4000/handle/123456789/11
Browse
3 results
Search Results
Item Static Fault Localization in Model Transformations(Institute of electrical and electronics engineers, 2015) Burgueno, Loli; Troya, Javier; Wimmer, Manuel; Vallecillo, AntonioItem Using Timed Automata for Modeling Distributed Systems with Clocks : Challenges and Solutions(Institute of electrical and electronics engineers, 2013) Rodriguez-Navas, Guillermo; Proenza, JulianItem Compositional Verification for Hierarchical Scheduling of Real-Time Systems(Institute of electrical and electronics engineers, 2013) Carnevali, Laura; Pinzuti, Alessandro; Vicario, Enrico