Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems.
Sandeep K. ShuklaMichael TheobaldPublished in: Formal Methods Syst. Des. (2006)
Keyphrases
- special issue
- formal methods
- safety critical
- formal analysis
- ecml pkdd
- knowledge based systems
- expert systems
- international journal
- ai edam
- model checking
- artificial intelligence
- artificial neural networks
- asynchronous communication
- applied intelligence
- formal specification
- special section
- reactive systems
- process algebra
- building blocks