Abstract is missing.
- Collaborative Development of Embedded SystemsMarcel Verhoef, Kenneth Pierce, Carl Gamble, Jan Broenink. 3-14 [doi]
- Co-modelling and Co-simulation in Embedded Systems DesignJohn S. Fitzgerald, Kenneth Pierce. 15-25 [doi]
- Continuous-Time Modelling in 20-simJob van Amerongen, Christian Kleijn, Carl Gamble. 27-59 [doi]
- Discrete-Event Modelling in VDMPeter Gorm Larsen, John S. Fitzgerald, Marcel Verhoef, Kenneth Pierce. 61-95 [doi]
- Support for Co-modelling and Co-simulation: The Crescendo ToolPeter Gorm Larsen, Carl Gamble, Kenneth Pierce, Augusto Ribeiro, Kenneth Lausdahl. 97-114 [doi]
- Co-model Structuring and Design PatternsKenneth Pierce, Peter Gorm Larsen, John S. Fitzgerald. 115-137 [doi]
- Case Studies in Co-modelling and Co-simulationMarcel Verhoef, Bert Bos, Kenneth Pierce, Carl Gamble, Job van Amerongen. 141-152 [doi]
- Methods for Creating Co-models of Embedded SystemsKenneth Pierce, Sune Wolff, Marcel Verhoef. 153-183 [doi]
- Co-modelling of Faults and Fault Tolerance MechanismsCarl Gamble, Kenneth Pierce, John S. Fitzgerald, Bert Bos. 185-197 [doi]
- Design Space Exploration for Embedded Systems Using Co-simulationCarl Gamble, Kenneth Pierce. 199-222 [doi]
- Industrial Application of Co-modelling and Co-simulation TechnologyMarcel Verhoef, Peter Gorm Larsen. 223-259 [doi]
- Deploying Co-modelling in Commercial PracticeSune Wolff, Peter Gorm Larsen, Marcel Verhoef. 263-271 [doi]
- Semantics of Co-simulationJoey W. Coleman, Kenneth Lausdahl, Peter Gorm Larsen. 273-292 [doi]
- From Embedded to Cyber-Physical Systems: Challenges and Future DirectionsJohn S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef. 293-303 [doi]