Buscar
Estás en modo de exploración. debe iniciar sesión para usar MEMORY

   Inicia sesión para empezar


Por supuesto:

ingegneria del software

» Iniciar este curso
(Practica preguntas similares gratis)
Pregunta:

Perchè la sequenza t1,t3,t2? non è possibile in una semantica temporale monotonica debole?

Autor: federico volpe

perchè la sequenza t1,t3,t2? non è possibile in una semantica temporale monotonica debole?



Respuesta:

Perchè t1 viene attivato in un tempo 10-15 il gettone in p1 diventa obsoleto e quindi t2 non può più scattare il tutto sarebbe concesso nell'ambito di una semantica debole


0 / 5  (0 calificaciones)

1 answer(s) in total