Buscar
Mostrando ítems 1-1 de 1
ABORDAGEM SISTEMÁTICA PARA O CONTROLO SEGURO DE SISTEMAS AEROESPACIAIS
(2010)
Formal verification of real-time systems behavior of is a complex task, for several reasons. There are multiple works developed in the domain of formal verification of
real-time system behavior by model-checking, and various ...