On the specification of modal systems: A comparison of three frameworks.
Luca AcetoIgnacio FábregasDavid de Frutos-EscrigAnna IngólfsdóttirMiguel PalominoPublished in: CoRR (2024)
Keyphrases
- bayesian networks
- databases
- expert systems
- management system
- formal methods
- information systems
- high level
- asynchronous circuits
- formal specification
- statistical analysis
- building blocks
- reactive systems
- evaluation methods
- computing systems
- computer systems
- intelligent systems
- distributed systems
- similarity measure
- case study