Início
Equipe
Ferramentas
Publicações
lotus-tool
LoTuS is a tool for graphic behaviour modelling of software using LTS
Updated
11 Feb 2017
by
brunosb
TCG
A ferramenta TCG (Test Case Generation) é um plugin para a ferramenta de modelagem LoTuS.
Updated
11 Feb 2017
by
brunosb
Lotus@Runtime
A tool for monitoring and verifying self-adaptive systems using probabilistic models at runtime.