Arkiver
-
Automated translation of VDM-SL to JML-annotated Java
Årg. 5 Nr. 29 (2017) -
The 14th Overture Workshop: Towards Analytical Tool Chains
Årg. 4 Nr. 28 (2016) -
Virtual Power Plant for Smart Grid Ready Buildings and Customers
Årg. 4 Nr. 27 (2016) -
Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS
Årg. 4 Nr. 26 (2016) -
Modelling field robot software using AADL
Årg. 4 Nr. 25 (2016) -
Demand Response Driven Load Scheduling in Formal Smart Grid Framework
Årg. 4 Nr. 24 (2016) -
Virtual Power Plant for Residential Demand Response
Årg. 3 Nr. 22 (2014) -
Enhanced Modelling and Efficient Realisation of Cyber-Physical Systems
Årg. 3 Nr. 21 (2014) -
Privacy Enforcement in a Cost-Effective Smart Grid
Årg. 3 Nr. 20 (2014) -
On Extensibility of Software Systems
Årg. 3 Nr. 19 (2014) -
Proceedings of the 11th Overture Workshop
Årg. 2 Nr. 17 (2013) -
System-Level Energy-Aware Design of Cyber-Physical Systems
Årg. 2 Nr. 16 (2013) -
Multi-domain Modelling in DESTECS and Ptolemy - a Tool Comparison
Årg. 2 Nr. 15 (2013) -
Mobile Authentication with NFC enabled Smartphones
Årg. 2 Nr. 14 (2013) -
Semantics of the VDM Real-Time Dialect
Årg. 2 Nr. 13 (2013) -
Evaluation of Development Process and Methodology for Co-Models
Årg. 2 Nr. 12 (2013) -
A Methodology for transforming Java Applications towards real-time performance
Årg. 2 Nr. 11 (2013) -
Systems of Systems with Security
Årg. 2 Nr. 10 (2013) -
Modelling Dynamic Topologies via Extensions of VDM-RT
Årg. 1 Nr. 9 (2012) -
Secure Dynamic Cloud-based Collaboration with Hierarchical Access
Årg. 1 Nr. 8 (2012) -
Wildlife Communication
Årg. 1 Nr. 7 (2012) -
Kinect Depth Sensor Evaluation for Computer Vision Applications
Årg. 1 Nr. 6 (2012) -
Applying Co-Simulation for an Industrial Conveyor System
Årg. 1 Nr. 5 (2012) -
Enhancing Formal Modelling Tool Support with Increased Automation
Årg. 1 Nr. 4 (2012)
1-25 af 28
Næste
