Discrete-Time Systems Modeling and Verification With Alvis Language and Tools.
Marcin SzpyrkaMichal WypychJerzy BiernackiLukasz PodolskiPublished in: IEEE Access (2018)
Keyphrases
- formal methods
- management system
- technical issues
- expert systems
- asynchronous circuits
- intelligent systems
- learning systems
- complex systems
- language learning
- computational models
- modeling language
- commercial products
- formal languages
- software tools
- mathematical models
- distributed systems
- programming language
- end users