A Formal Modeling Tool for Exploratory Modeling in Software Development von ODA, Tomohiro, ARAKI, Keijiro, LARSEN, Peter GORM

Volltext

Digitalization of Large-Scale Testing Facilities for the Wind Industry: DIGIT-BENCH Digital Twin von Baş, Elif Ecem, Abbiati, Giuseppe, Gonçalves Gomes, Cláudio Ângelo, Jassmann, Uwe, Larsen, Peter Gorm

Volltext

Editorial to the theme section on model-based engineering of smart systems von Fitzgerald, John, Ishikawa, Fuyuki, Larsen, Peter Gorm

Volltext

Cyber-Physical Cloud Battery Management Systems: Review of Security Aspects von Naseri, Farshid, Kazemi, Zahra, Larsen, Peter Gorm, Arefi, Mohammad Mehdi, Schaltz, Erik

Volltext

The Engineering of Digital Twins von Fitzgerald, John, Gomes, Claudio, Larsen, Peter Gorm

Volltext

Industrial digitalization in the industry 4.0 era: Classification, reuse and authoring of digital models on Digital Twin platforms von Zambrano, Valentina, Mueller-Roemer, Johannes, Sandberg, Michael, Talasila, Prasad, Zanin, Davide, Larsen, Peter Gorm, Loeschner, Elke, Thronicke, Wolfgang, Pietraroia, Dario, Landolfi, Giuseppe, Fontana, Alessandro, Laspalas, Manuel, Antony, Jibinraj, Poser, Valerie, Kiss, Tamas, Bergweiler, Simon, Pena Serna, Sebastian, Izquierdo, Salvador, Viejo, Ismael, Juan, Asier, Serrano, Francisco, Stork, André

Volltext

The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions von Kjær Rask, Jonas, Palludan Madsen, Frederik, Battle, Nick, Daniel Macedo, Hugo, Gorm Larsen, Peter

Volltext

Code generation for distributed embedded systems with VDM-RT von Hasanagić, Miran, Fabbri, Tommaso, Larsen, Peter Gorm, Bandur, Victor, Tran-Jørgensen, Peter, Ouy, Julien

Volltext

Realization of distributed system models using code generation extensions von Hasanagić, Miran, Tran‐Jørgensen, Peter W. V., Nilsson, René S., Larsen, Peter Gorm

Volltext

Automated translation of VDM to JML-annotated Java von Tran-Jørgensen, Peter W. V., Larsen, Peter Gorm, Leavens, Gary T.

Volltext

The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution von Macedo, Hugo Daniel, Nilsson, René Søndergaard, Larsen, Peter Gorm

Volltext

Co-Simulation: A Survey von Gomes, Cláudio, Thule, Casper, Broman, David, Larsen, Peter Gorm, Vangheluwe, Hans

Volltext

Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions von Nielsen, Claus Ballegaard, Larsen, Peter Gorm, Fitzgerald, John, Woodcock, Jim, Peleska, Jan

Volltext

Formal Model In-The-Loop for Secure Industrial Control Networks von Ubys, Laurynas, Nicolas Vancea, Valeriu, Kulik, Tomas, Gorm Larsen, Peter, Boudjadar, Jalil, Aranha, Diego F.

Volltext

Robotic Design Choice Overview Using Co-Simulation and Design Space Exploration von Christiansen, Martin, Larsen, Peter, Jørgensen, Rasmus

Volltext

Formal methods: Practice and experience von Woodcock, Jim, Larsen, Peter Gorm, Bicarregui, Juan, Fitzgerald, John

Volltext

Maestro: The INTO-CPS co-simulation framework von Thule, Casper, Lausdahl, Kenneth, Gomes, Cláudio, Meisl, Gerd, Larsen, Peter Gorm

Volltext

An architecture for coupled digital twins with semantic lifting von Gil, Santiago, Kamburjan, Eduard, Talasila, Prasad, Larsen, Peter Gorm

Volltext

Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin von Fitzgerald, John, Larsen, Peter Gorm, Pierce, Ken

Volltext

Demonstration of Digital Twin-Enabled Collision Mitigation for Path Constrained Applications von Oliveira Cardoso Mendes, José Miguel, Frasheri, Mirgita, Gorm Larsen, Peter

Volltext bestellen