The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International Symposium on Leveraging Applications of Formal Methods (10. : 2021 : Rhodos, Stadt) Leveraging applications of formal methods, verification and validation
1. Verfasser:	Margaria, Tiziana (VerfasserIn)
Weitere Verfasser:	Chaudhary, Hafiız Ahmad Awais (VerfasserIn), Guevara, Ivan (VerfasserIn), Ryan, Stephen (VerfasserIn), Schieweck, Alexander (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
Formal Methods for a Digital Industry: Industrial Day at ISoLA 2021	2021	Howar, Falk
From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics	2021	Mauritz, Malte
The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS	2021	Margaria, Tiziana
A Journey Through Software Model Checking of Interlocking Programs	2021	Chadwick, Simon
Formal Methods in Railway Signalling Infrastructure Standardisation Processes	2021	Bouwman, Mark
Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition	2021	Zweihoff, Philip
An Introduction to Graphical Modeling of CVCD Workflows with Rig	2021	Tegeler, Tim
Use Cases for Simulation in the Development of Automated Driving Systems	2021	Hungar, Hardi
Time for All Programs, Not Just Real-Time Programs	2021	Lee, Edward A.
Slang: The Sireum Programming Language	2021	Hatcliff, Robby
Fundamental Constructs in Programming Languages	2021	Mosses, Peter D.
The Future of Programming and Modelling: A Vision	2021	Stevens, Perdita
Programming vs. That Thing Subject Matter Experts Do	2021	Voelter, Markus
sVerify: Verifying Smart Contracts Through Lazy Annotation and Leaming	2021	Gao, Bo
Agile Business Engineering: From Transformation Towards Continuous Innovation	2021	Steffen, Barbara
Simulation-Based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles	2021	Philipp, Robin
DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories	2021	John, Jobish
Programming - What is Next?	2021	Havelund, Klaus
Low-Code Is Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering	2021	Lethbridge, Timothy C.
Integrated Modeling and Development of Component-Based Embedded Software in Scala	2021	Havelund, Klaus

Alle Artikel auflisten