Articles Électroniques
Permanent URI for this collectionhttp://192.168.16.104:4000/handle/123456789/8902
Browse
Item Alloy Meets the Algebra of Programming : A Case Study(Institute of electrical and electronics engineers, 2013) Oliveira, José N.; Ferreira, Miguel A.Item A Fluid Model for Layered Queueing Networks(Institute of electrical and electronics engineers, 2013) Tribastone, MircoItem Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis(Institute of electrical and electronics engineers, 2013) Hayden, Richard A.; Bradley, Jeremy T.; Clark, AllanItem A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems(Institute of electrical and electronics engineers, 2013) Carnevali, Laura; Ridi, Lorenzo; Vicario, Enrico