Skip to Main Content (Press Enter)
×
Home
Persone
Pubblicazioni
Strutture
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
cnr.it
IT
EN
×
Home
Persone
Pubblicazioni
Strutture
Competenze
☰
Pubblicazioni
PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
Serie
Codice:
E136058
ISSN:
0270-5257
Dati Generali
Dati Generali
Pubblicazioni (11)
Pulisci
Ordina Pubblicazioni:
ascendente
decrescente
3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015)
Contributo in Atti di convegno
A case study on the automated verification of groupware protocols
Contributo in Atti di convegno
An automated model-based test oracle for access control systems
Contributo in Atti di convegno
Deriving test plans from architectural descriptions
Contributo in Atti di convegno
Do we need new strategies for testing systems-of-systems?
Contributo in Atti di convegno
Message from the Chairs of FormaliSE 2019
Contributo in Atti di convegno
Message from the chairs formaliSE 2020
Contributo in Atti di convegno
Processes for software development within the public administration
Contributo in Atti di convegno
Reducing and estimating the cost of test coverage criteria
Contributo in Atti di convegno
Software testing research: achievements, challenges, dreams
Contributo in Atti di convegno
Using testability measures for dependability assessment
Contributo in Atti di convegno
No Results Found
«
‹
{pageNumber}
›
»
{startItem} - {endItem} di {itemsNumber}
5 per pagina
10 per pagina
30 per pagina
vedi tutti
