2 documents found, page 1 of 1
Sort by
Issue Date
Recent advances in petri nets and concurrency
Donatelli, Susanna; Kleijn, Jetty; Machado, Ricardo J.; Fernandes, João M.CEUR Workshop Proceedings
Date: 2012
|
Origin: RepositóriUM - Universidade do Minho
Experimental Validation of Architectural Solutions
Donatelli, Susanna; Alata, Eric; Antunes, João; Kaâniche, Mohamed; Neves, Nuno Ferreira; Veríssimo, PauloThis is a interim report on the experimental validation of architectural solutions performed in WP5 of project CRUTIAL. The two main contributions are the description of an attack injection tool for testing the architectural solutions and the description of a monitor and data collector that collects and analyses information about the behavior of the software after it has been attacked
Date: 2008
|
Origin: Repositório da Universidade de Lisboa