Metodos formais

Programação Java
#1

ola pessoal,alguem pode me me ajudar …alguem tem algum material sobre LOTOS (Language of Temporal Ordering Specification)
sei que nao tem nada a ver mas eu estou precisando…
obrigadaaaaaaaaaaaaaaaaa

#2

Oi

dayana, confere

http://wwwtios.cs.utwente.nl/lotos/

T+

#3