English
español
Navegación por Autor Wartel, Franck
Mostrando resultados 1 a 1 de 1
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
---|---|---|---|---|---|
closedAccess | 2013 | PROARTIS: Probabilistically analyzable real-time systems | Cazorla, Francisco J.; Quiñones, Eduardo; Vardanega, Tullio; Cucu, Liliana; Triquet, Benoit; Bernat, Guillem; Berger, Emery; Abella, Jaume; Wartel, Franck; Houston, Michael; Santinelli, Luca; Kosmidis, Leonidas; Lo, Code; Maxim, Dorin | artículo |