Not finding it? Sign in to also search OpenAlex live.
-
Towards an Isabelle Theory for distributed, interactive systems : the untimed case2020 RWTH Publications (RWTH Aachen) report Computer Science Logic, programming, and type systems Open access
Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe⋆, Sebastian Stüber, +1 more
3citations -
Computational Guidance & Navigation for Bearings-Only Rendezvous – methods and outcomes of GUIBEAR2021 Zenodo (CERN European Organization for Nuclear Research) conference-paper Engineering Spacecraft Dynamics and Control Open access
Pedro Serra, Pedro Lourenço, José Briz Valero, Marco Mammarella, T. V. Peters, Dario Mora Portela, +6 more
1citations -
Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling2025 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access
Marsha Chećhik, Benoît Combemale, Jeff Gray, Bernhard Rumpe⋆
0citations -
Semantic Comparison of Asset Administration Shells2025 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Engineering Digital Transformation in Industry Open access
Torben Miny, Sebastian Heppner, Igor Garmaev, Marko Ristin, Björn Otto, Nico Braunisch, +3 more
0citations -
Streamlining Hybrid Vehicle Control Development with an Efficient MATLAB/Simulink Simulation Platform2024 SAE technical papers on CD-ROM/SAE technical paper series conference-paper Engineering Real-time simulation and control systems
Achyut Venkataramu, Yue Wang, Nadirsh Patel, Shichao Huo, Onur Şenoğlu
1citations