4   Artículos

 
en línea
Giacomo Bergami    
Recent findings demonstrate how database technology enhances the computation of formal verification tasks expressible in linear time logic for finite traces (LTLf). Human-readable declarative languages also help the common practitioner to express tempora... ver más
Revista: Information    Formato: Electrónico

 
en línea
Giacomo Bergami, Samuel Appleby and Graham Morgan    
Current specification mining algorithms for temporal data rely on exhaustive search approaches, which become detrimental in real data settings where a plethora of distinct temporal behaviours are recorded over prolonged observations. This paper proposes ... ver más
Revista: Computers    Formato: Electrónico

« Anterior     Página: 1 de 1     Siguiente »