Formal Methods is a group of system design techniques that use mathematics formalism to assist specification, development and verification steps. The approach can reduce specifications ambiguities and inconsistences, provide ...

OBJETIVOS: Consideramos a Proyecto urbano el año donde se produce un salto cualitativo entre los años que se enseña y aquellos en los que se aprende. Cambio de actitud del alumno de una postura receptiva a una activa en ...

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality ...