-
1
المؤلفون: Maria Prandini, Pieter J. Mosterman, James Kapinski, Patrick Panciatici, Frank Allgöwer, João Borges de Sousa, Akshay Rajhans, Paulo Tabuada, Jens Oehlerking, Philipp Wenzelburger
المصدر: Nonlinear Analysis: Hybrid Systems. 34:147-165
مصطلحات موضوعية: 0209 industrial biotechnology, Computer science, Computation, Energy (esotericism), Control (management), Cyber-physical system, 02 engineering and technology, Computer Science Applications, 020901 industrial engineering & automation, Systems theory, Control and Systems Engineering, 0202 electrical engineering, electronic engineering, information engineering, Systems engineering, Natural (music), Position paper, 020201 artificial intelligence & image processing, Analysis, Physical law
-
2
المصدر: ITSC
مصطلحات موضوعية: Measure (data warehouse), Operations research, Criticality, Computer science, media_common.quotation_subject, False positive paradox, Key (cryptography), Quality (business), Metric (unit), Conformance testing, Intersection (aeronautics), media_common
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a29c24cfe03e25547a52609b01762d40
https://doi.org/10.1109/itsc48978.2021.9564790 -
3
المؤلفون: Michael Rittel, Nadja Schalm, Christian Heinzemann, Dirk Ziegenbein, Martin Butz, Jens Oehlerking, Martin Herrmann
المصدر: ITSC
مصطلحات موضوعية: 050210 logistics & transportation, Theoretical computer science, Computer science, 05 social sciences, 020207 software engineering, 02 engineering and technology, Domain (software engineering), Set (abstract data type), Vehicle dynamics, Consistency (database systems), Completeness (order theory), 0502 economics and business, 0202 electrical engineering, electronic engineering, information engineering, Graph (abstract data type), Domain analysis, Abstraction (linguistics)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0ef26e081a58d6ae2cff8ba9213471a6
https://doi.org/10.1109/itsc45102.2020.9294438 -
4
المؤلفون: Anne von Vietinghoff, Thomas Heinz, Jens Oehlerking, Christoph Gladisch, Tim Pfitzer, Christian Heinzemann
المصدر: ASE
مصطلحات موضوعية: Computer science, business.industry, Control (management), 0202 electrical engineering, electronic engineering, information engineering, Key (cryptography), 020207 software engineering, Use case, 02 engineering and technology, Software engineering, business, Search based testing, Test (assessment)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::24d5693f0d499db3f1d0cc9f8a9e75b4
https://doi.org/10.1109/ase.2019.00013 -
5
المؤلفون: Jens Oehlerking, Matthias Althoff, Hendrik Roehm, Matthias Woehrle
مصطلحات موضوعية: Bisimulation, 0209 industrial biotechnology, Control and Optimization, Relation (database), Computer Networks and Communications, Computer science, business.industry, Cyber-physical system, Language inclusion, 02 engineering and technology, Variety (cybernetics), ddc, Human-Computer Interaction, 020901 industrial engineering & automation, Artificial Intelligence, Hardware and Architecture, Hybrid system, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Software engineering, business, Conformance testing, Formal description
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c67f4e26a189aefaadc532900e96562b
https://mediatum.ub.tum.de/1554435 -
6
المؤلفون: Simone Schuler, Nikolaos Kekatos, Dejan Nickovic, Matthias Woehrle, Alexander Walsch, Goran Frehse, Jens Oehlerking
المصدر: ACC
مصطلحات موضوعية: Computer science, Programming language, 020207 software engineering, 02 engineering and technology, computer.software_genre, Toolchain, Automaton, Workflow, Reachability, Formal specification, Scalability, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, computer, Formal verification, Natural language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4f790df45195b5eeafb1d3bd0d7e01d3
https://doi.org/10.23919/acc.2018.8431324 -
7
المؤلفون: Jens Oehlerking
المصدر: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week).
مصطلحات موضوعية: Multimedia, Session (computer science), computer.software_genre, Psychology, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::75f87fdcb4eb663fa9b04763c8c13088
https://doi.org/10.1145/3258033 -
8
المؤلفون: Thomas Strathmann, Jens Oehlerking
المصدر: ARCH@CPSWeek
مصطلحات موضوعية: Computer science, Braking system, Automotive engineering
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ee854b45169af98e453fe4ec0449b5f2
https://doi.org/10.29007/x87p -
9
المؤلفون: Hendrik Roehm, Matthias Woehrle, Rainer Gmehlich, Jens Oehlerking, Thomas Heinz
المصدر: ARCH@CPSWeek
مصطلحات موضوعية: business.industry, Computer science, Formal specification, Systems engineering, Software engineering, business, Test (assessment)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ddf6f812e5fd8c1b05768aceebe64579
https://doi.org/10.29007/z9ph -
10
المؤلفون: Matthias Althoff, Ingo Lütkebohle, Stefan B. Liu, Christian Heinzemann, Hendrik Roehm, Jens Oehlerking
المصدر: IROS
مصطلحات موضوعية: 0209 industrial biotechnology, Computer science, 020208 electrical & electronic engineering, Real-time computing, Mobile robot, 02 engineering and technology, Kinematics, Pedestrian, Motion (physics), ddc, 020901 industrial engineering & automation, Stack (abstract data type), Obstacle, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, Current (fluid)
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::319ca40389168fa9282fd2d0d01aa86f
https://mediatum.ub.tum.de/1379662