Generalized Discrete Event Specifications of logic gates.
Maâmar El-Amine HamriAziz NaamaneNorbert GiambiasiPublished in: SSD (2014)
Keyphrases
- discrete event
- dynamic systems
- delay insensitive
- simulation model
- discrete event simulation
- logic circuits
- asynchronous circuits
- crisis response
- multiple faults
- discrete event systems
- hybrid systems
- supervisory control
- bounded model checking
- formal language
- multi valued
- dynamical systems
- manufacturing process
- mathematical modeling
- predicate logic
- model checker
- operational semantics
- formal specification
- transition systems
- modal logic
- data processing
- complex systems
- control flow
- decision making
- knowledge management
- recursive programs
- high level