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
SCIENCE OF COMPUTER PROGRAMMING
Rivista
Codice:
E151927
ISSN:
0167-6423
Dati Generali
Dati Generali
Pubblicazioni (5)
Adaptation space exploration for service-oriented applications
Articolo
Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines
Articolo
Integrating formal methods into medical software development: The ASM approach
Articolo
Test generation for sequential nets of Abstract State Machines with information passing
Articolo
Zone-based formal specification and timing analysis of real-time self-adaptive systems
Articolo
No Results Found
