 |
Conference papers
Towards Support for Verification of Adaptative Systems with Djnn
Abstract : Djnn is a general framework dedicated to the development of complex interactive systems. We describe ongoing work aimed at developing verification mechanisms through the definition of syntax, grammar and semantics for djnn models. The results will serve to perform formal verification of interactive systems.
Cited literature [15 references]
https://hal-enac.archives-ouvertes.fr/hal-01888093
Contributor : Daniel Prun Connect in order to contact the contributor
Submitted on : Monday, June 15, 2020 - 12:09:14 PM
Last modification on : Tuesday, October 19, 2021 - 11:02:50 AM
Long-term archiving on: : Wednesday, December 2, 2020 - 9:28:00 AM
Contributor : Daniel Prun Connect in order to contact the contributor
Submitted on : Monday, June 15, 2020 - 12:09:14 PM
Last modification on : Tuesday, October 19, 2021 - 11:02:50 AM
Long-term archiving on: : Wednesday, December 2, 2020 - 9:28:00 AM
File
cognitive_2015_10_20_95007.pdf
Explicit agreement for this submission