Logical Specification of Real-Time Granular Systems in an Object Oriented Language.
Emanuele CiapessoniEdoardo CorsettiManlio MiglioratiElena RattoPublished in: IJCAI (1993)
Keyphrases
- real time
- formal languages
- telecommunication systems
- complex systems
- specification language
- real time systems
- programming language
- control system
- highly modular
- management system
- object oriented
- low cost
- learning systems
- expert systems
- computer systems
- reactive systems
- asynchronous circuits
- cell processor
- predicate calculus
- formal specification
- high speed
- fuzzy logic
- user interface
- data mining
- databases