The following pages link to Modelling Systems (Q5322613):
Displayed 5 items.
- ASM-based formal design of an adaptivity component for a cloud system (Q315283) (← links)
- Domain science and engineering from computer science to the sciences of informatics. II: Science (Q464883) (← links)
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- Domain science and engineering from computer science to the sciences of informatics. I: Engineering (Q2452758) (← links)
- An Institution for Imperative RSL Specifications (Q5403080) (← links)