Search

Your search keyword '"Larsen, Peter A."' showing total 267 results

Search Constraints

Start Over You searched for: Author "Larsen, Peter A." Remove constraint Author: "Larsen, Peter A." Publication Type eBooks Remove constraint Publication Type: eBooks
267 results on '"Larsen, Peter A."'

Search Results

3. Future Directions and Challenges

5. Realising Digital Twins

6. System Monitoring through a Digital Twin

7. Modelling for Digital Twins

9. Advanced Digital Twin Services

12. Verification Technology for VDM: Craft and Automation

13. Towards the Composition of Digital Twins

14. Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems

20. Formal Model In-The-Loop for Secure Industrial Control Networks

21. Digital Twins for Organ Preservation Devices

22. Engineering of Digital Twins for Cyber-Physical Systems

23. Towards Secure Digital Twins

24. Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins

25. Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?

27. Data-Driven Identification of Remaining Useful Life for Plastic Injection Moulds

28. HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems

29. Engineering of Digital Twins for Cyber-Physical Systems

30. Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site

31. Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins

32. Introducing Regression Tests and Upgrades to the INTO-CPS Application

40. Collaborative Modelling and Co-simulation in Engineering and Computing Curricula

41. On the Design of a New Software Engineering Curriculum in Computer Engineering

42. Generation of Co-simulation Algorithms Subject to Simulator Contracts

43. Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks

44. ViennaDoc: An Animatable and Testable Specification Documentation Tool

45. Migrating the INTO-CPS Application to the Cloud

46. Towards a Static Check of FMUs in VDM-SL

47. Sperm Donation

48. Denmark

Catalog

Books, media, physical & digital resources