Language Inclusion Checking of Timed Automata Based on Property Patterns
The language inclusion checking of timed automata is described as the following: given two timed automata <i>M</i> and <i>N</i>, where <i>M</i> is a system model and <i>N</i> is a specification model (which represents the properties that the system nee...
Main Authors: | , , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2022-12-01
|
Series: | Applied Sciences |
Subjects: | |
Online Access: | https://www.mdpi.com/2076-3417/12/24/12946 |