My new article, accepted for publication in Science of Computer Programming, describes a novel calculus for dynamically adapting architectures. The calculus is shown to be sound and relative complete and it is implemented in Isabelle where it can be used to support the verification of dynamic architectures.
-
Abonnieren
Abonniert
Du hast bereits ein WordPress.com-Konto? Melde dich jetzt an.
Dr. Diego Marmsoler 
Here you can find the 50 days‘ free access link to the original article (valid until August 27, 2019):
https://authors.elsevier.com/a/1ZMFN_3pyw5Kjn
LikeLike