scientific article; zbMATH DE number 5877009
From MaRDI portal
Publication:5392415
DOI10.3233/978-1-60750-629-4-357zbMath1217.68225MaRDI QIDQ5392415
Stan L. Klasa, Jamal Bentahar, Nassir Shafieidizaji, Heng Kuang, Olga Ormandjieva
Publication date: 11 April 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
formal specificationfault-tolerancemulti-agent systemsreactive autonomic systemssubstitutability property
Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)
Uses Software
This page was built for publication:
