Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis.
Tetsuya MizutaniShigeru IgarashiKohji TomitaMasayuki ShioPublished in: ASIAN (1997)
Keyphrases
- formal analysis
- formal methods
- computer systems
- software systems
- safety critical
- management system
- distributed systems
- complex systems
- graphical user interfaces
- software development
- source code
- building blocks
- artificial intelligence
- agent model
- knowledge representation
- continuous domains
- enterprise systems
- user interface