convertir les caractères de temps dans la R

Les données suivantes cadre du "temps" de la colonne est character

id<-c(1,2,3,4)
time<-c("00:00:01","01:02:00","09:30:01","14:15:25")
df<-data.frame(id,time)

Je me demande comment je peux convertir en time afin que je puisse effectuer des calculs arithmétiques sur elle.

InformationsquelleAutor AliCivil | 2012-08-20