Login / Signup
GR-TNCES: New Extensions of R-TNCES for Modelling and Verification of Flexible Systems under Energy and Memory Constraints.
Oussama Khlifi
Olfa Mosbahi
Mohamed Khalgui
Georg Frey
Published in:
ICSOFT-EA (2015)
Keyphrases
</>
data sets
computer systems
retrieval systems
model checking
information systems
expert systems
management system
knowledge based systems
database management systems
energy consumption
constrained optimization
formal methods
automated verification