Opening book details…
About this Engineering article
Architectural Capability Analysis Using a Model-checking Technique by Delgado-Quintero, Darío José; Noguera-Muños, Jormary; Flores-Rojas, Gerson Alonso; López-Gualdron, Clara Isabel; Llamosa-Villalba, Ricardo is a Engineering article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Engineering.
- Author
- Delgado-Quintero, Darío José; Noguera-Muños, Jormary; Flores-Rojas, Gerson Alonso; López-Gualdron, Clara Isabel; Llamosa-Villalba, Ricardo
- Publisher
- Universidad de Antioquia; Medellín: Universidad de Antioquia, 1984- (ISSN 0120-6230)
- Published
- 2017
- Field
- Engineering (Physical Sciences)