A
Aralex
Aachen research explorer
Sign in
Menu
Papers
Authors
Topics
Journals
Patents
Institutions
Departments
Sign in
Papers
Authors
Topics
Journals
Patents
Organizations
Institutions
Departments
Papers matching “model verification and validation”
5
Sort:
Relevance
Cited
Newest
Oldest
Fwci
Patents
⇩ CSV
Not finding it?
Sign in
to also search OpenAlex live.
An orchestration framework for simulation-based development and verification of cyber-physical systems
2025
RWTH Publications (RWTH Aachen)
dissertation
Computer Science
Modeling and Simulation Systems
Open access
0
citations
Integrating KoAT’s push-button probabilistic cost analysis into Caesar
2026
RWTH Publications (RWTH Aachen)
dissertation
Computer Science
Logic, programming, and type systems
Open access
Mats Eblenkamp
0
citations
Hybrid Local-First E-Commerce: Reconciling Offline Capability with Strict Data Consistency
2026
Zenodo (CERN European Organization for Nuclear Research)
dissertation
Computer Science
Distributed systems and fault tolerance
Open access
Simon Felix Conrad
0
citations
Hybrid Local-First E-Commerce: Reconciling Offline Capability with Strict Data Consistency
2026
Zenodo (CERN European Organization for Nuclear Research)
dissertation
Computer Science
Distributed systems and fault tolerance
Open access
Simon Felix Conrad
0
citations
Hybrid Local-First E-Commerce: Reconciling Offline Capability with Strict Data Consistency
2026
Zenodo (CERN European Organization for Nuclear Research)
dissertation
Computer Science
Distributed systems and fault tolerance
Open access
Simon Felix Conrad
0
citations
5 results