Bliudze, Simon 1977-
Bliudze, Simon, 19..-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 22149659523906830213 (Personal)
Permalink: http://viaf.org/viaf/22149659523906830213
Preferred Forms
-
100 1 _
‡a
Bliudze, Simon
‡d
1977-
-
100 1 _
‡a
Bliudze, Simon
‡d
1977-
-
100 1 _
‡a
Bliudze, Simon,
‡d
19..-....
5xx's: Related Names (1)
Works
| Title | Sources |
|---|---|
| Design of correct-by-construction self-adaptive cloud applications using formal methods |
|
| Un environnement pour le développement rigoureux de composants répartis : formalisation et outils logiciels |
|
| A framework for rigorous development of distributed components : formalisation and tools. |
|
| From timed component-based systems to time-triggered implementations : a correct-by-design approach. |
|
| Modélisation de la configuration automatique dans des systèmes auto-adaptatifs basés sur l'architecture |
|
| Des systèmes à base de composants aux implémentations cadencées par le temps : une approche correcte par conception |
|
| Verification and evaluation of computer and communication systems 12th International Conference, VECoS 2018 : Grenoble, France, September 26-28, 2018 : proceedings |
|
