Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication