Skip to Main Content (Press Enter)
×
Home
Degrees
Courses
People
Outputs
Organizations
Third Mission
Projects
Expertise & Skills
IT
EN
☰
UNI-FIND
|
UNI-FIND
unibg.it
IT
EN
×
Home
Degrees
Courses
People
Outputs
Organizations
Third Mission
Projects
Expertise & Skills
☰
Outputs
SCIENCE OF COMPUTER PROGRAMMING
Journal
Identifier:
E151927
ISSN:
0167-6423
Overview
Overview
Outputs (5)
Adaptation space exploration for service-oriented applications
Academic Article
Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines
Academic Article
Integrating formal methods into medical software development: The ASM approach
Academic Article
Test generation for sequential nets of Abstract State Machines with information passing
Academic Article
Zone-based formal specification and timing analysis of real-time self-adaptive systems
Academic Article
No Results Found
