Buscar

Filtros

Use los filtros para refinar su búsqueda.

Filtro actual:


Nuevo filtro:

Palabra clave:Formal Methods X

Mostrando 5 de un total de 5 resultados. (0.01 segundos)

Mostrando ítems 1-5 de 5

Artículo

Formal specification and implementation of an automated pattern-based parallel-code generation framework

Perez, Gervasio Daniel ; Yovine, Sergio Fabian (Springer Verlag Berlín, 2017-08)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Specification of behavioral anti-patterns for the verification of block-structured Collaborative Business Processes

Roa, Jorge ; Chiotti, Omar Juan Alfredo ; Villarreal, Pablo David (Elsevier Science, 2016-07)
Ingeniería de Sistemas y Comunicaciones. Ingeniería Eléctrica, Ingeniería Electrónica e Ingeniería de la Información. Ingenierías y Tecnologías
Artículo

Control strategies for self-adaptive software systems

Filieri, Antonio ; Maggio, Martina ; Angelopoulos, Konstantinos ; D'ippolito, Nicolás Roque ; Gerostathopoulos, Ilias ; Hempel, Andreas Berndt ; Hoffmann, Henry ; Jamshidi, Pooyan ; Kalyvianaki, Evangelia ; Klein, Cristian ; Krikava, Filip ; Misailovic, Sasa ; Papadopoulos, Alessandro V. ; Ray, Suprio ; Sharifloo, Amir M. ; Shevtsov, Stepan ; Ujma, Mateusz ; Vogel, Thomas (Association for Computing Machinery, 2017-02)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Integrated program verification tools in education

de Caso, Guido ; Garbervetsky, Diego David ; Gorin, Daniel Alejadro (Wiley, 2013-04)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Encapsulating deontic and branching time specifications

Castro, Pablo Francisco ; Maibaum, Thomas S. E. (Elsevier Science, 2012-10)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas

Mostrando ítems 1-5 de 5