An open-source framework for formal specification and simulation of electrical energy systems.
Sara VincoAlessandro SassoneFranco FummiEnrico MaciiMassimo PoncinoPublished in: ISLPED (2014)
Keyphrases
- mathematical model
- formal specification
- formal methods
- reverse engineering
- model checking
- databases
- object oriented design
- low cost
- information systems
- database
- specification languages
- computer systems
- building blocks
- decision making
- artificial intelligence
- machine learning
- specification language
- process algebra
- protocol specification