Listar por tema "STS"

Mostrando ítems 1-2 de 2

Checking RTECTL properties of STSs via SMT-based Bounded Model Checking

Zbrzezny, Agnieszka; Zbrzezny, Andrzej (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2015)

We present an SMT-based bounded model checking (BMC) method for Simply-Timed Systems (STSs) and for the existential fragment of the Real-time Computation Tree Logic. We implemented the SMT-based BMC algorithm and compared ...
Propuesta de intervención basada en la Física del siglo XX a través de un enfoque CTS para la enseñanza de Física de 2º Bachillerato

Florit-Gual, Martí (09/01/2020)

En la sociedad actual las tecnologías producto del desarrollo de conocimiento científico toman cada día mayor protagonismo en la vida de una población que requiere más que nunca estar formada en materia de ciencias. ...