Formal Techniques for Distributed Objects, Components, and Systems
-15%
portes grátis
Formal Techniques for Distributed Objects, Components, and Systems
38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Caires, Luis; Baier, Christel
Springer International Publishing AG
05/2018
197
Mole
Inglês
9783319926117
15 a 20 dias
3285
Descrição não disponível.
Component- and Model-Based Design.-Object Technology.- Service-Oriented Computing Systems.- Mobile Computing Systems.- Security.- Privacy.- Adaptive Distributed Systems.- Self-Stabilization.- Self-Healing.- Verification.- Formal Analysis.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Model-Based Design;Object technology;modularity;Software Adaptation;Service-oriented computer system;Software quality;Safety;Verification;Adaptive distributed systems;Security;Privacy;Semantics;Software engineering;distributed computer systems;specifications;distributed systems
Component- and Model-Based Design.-Object Technology.- Service-Oriented Computing Systems.- Mobile Computing Systems.- Security.- Privacy.- Adaptive Distributed Systems.- Self-Stabilization.- Self-Healing.- Verification.- Formal Analysis.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
