Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition.
Gabor SimkoDavid LindeckerTihamer LevendovszkySandeep NeemaJanos SztipanovitsPublished in: MoDELS (2013)
Keyphrases
- formal semantics
- cyber physical
- formal language
- operational semantics
- modelling language
- social networks
- physical world
- modeling language
- logical language
- first order logic
- theorem prover
- situation awareness
- owl dl ontology
- data integration
- cyber physical systems
- databases
- data acquisition
- data fusion
- open source
- control system
- physical space
- information systems
- real time