Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
unibg.it
IT
EN
×
Home
Corsi
Insegnamenti
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
☰
Pubblicazioni
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Rivista
Codice:
E079957
ISSN:
0098-5589
Dati Generali
Dati Generali
Pubblicazioni (6)
Combining Genetic Programming and Model Checking to Generate Environment Assumptions
Articolo
Decomposition-Based Approach for Model-Based Test Generation
Articolo
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems
Articolo
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties
Articolo
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks
Articolo
Specification Patterns for Robotic Missions
Articolo
No Results Found
