ARC(TP)I
(TP)I, (Timed/Probabilistic) Interfaces
(TP)I is a new ARC project headed by Axel Legay, CR2 S4 team INRIA/IRISA Rennes. For more informations, please contact us alegay@irisa.fr
See the full list of upcoming events here
Personal tools
|
|
|
|
Results
|
|
|
|
ARC(TP)I(TP)I, (Timed/Probabilistic) Interfaces
(TP)I is a new ARC project headed by Axel Legay, CR2 S4 team INRIA/IRISA Rennes. For more informations, please contact us alegay@irisa.fr
See the full list of upcoming events here |
|
|
|
|