المؤلفون: Robin Mross, Aron Schnakenbeck, Marcus Volker, Alexander Fay, Stefan Kowalewski

المصدر: IEEE Access, Vol 10, Pp 125652-125665 (2022)

مصطلحات موضوعية: Industry automation, formal model, formal verification, model checking, model-driven engineering, GRAFCET, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Relation: https://ieeexplore.ieee.org/document/9966565/; https://doaj.org/toc/2169-3536; https://doaj.org/article/84b223b92dfb4fdf8378eed6da7bb924

الاتاحة: https://doi.org/10.1109/ACCESS.2022.3225736
https://doaj.org/article/84b223b92dfb4fdf8378eed6da7bb924

المؤلفون: Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

المصدر: at - Automatisierungstechnik. 71:56-68

مصطلحات موضوعية: Control and Systems Engineering, Electrical and Electronic Engineering, Computer Science Applications

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::fe24d605da343d61c31c9d116fd7d8c8
https://doi.org/10.1515/auto-2022-0094

المؤلفون: Mohamed Behery, Philipp Brauner, Hans Aoyang Zhou, Merih Seran Uysal, Vladimir Samsonov, Martin Bellgardt, Florian Brillowski, Tobias Brockhoff, Anahita Farhang Ghahfarokhi, Lars Gleim, Leon Gorißen, Marco Grochowski, Thomas Henn, Elisa Iacomini, Thomas Kaster, István Koren, Martin Liebenberg, Leon Reinsch, Liam Tirpitz, Minh Trinh, Andres Felipe Posada-Moreno, Luca Liehner, Thomas Schemmer, Luisa Vervier, Marcus Völker, Philipp Walderich, Song Zhang, Christian Brecher, Robert H. Schmitt, Stefan Decker, Thomas Gries, Constantin Leon Häfner, Michael Herty, Matthias Jarke, Stefan Kowalewski, Torsten W. Kuhlen, Johannes Henrich Schleifenbaum, Sebastian Trimpe, Wil van der Aalst, Martina Ziefle, and Gerhard Lakemeyer

المساهمون: Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg, Behery, Mohamed, Brauner, Philipp, Aoyang Zhou, Han, Seran Uysal, Merih, Samsonov, Vladimir, Bellgardt, Martin, Brillowski, Florian, Brockhoff, Tobia, Farhang Ghahfarokhi, Anahita, Gleim, Lar, Gorißen, Leon, Grochowski, Marco, Henn, Thoma, Iacomini, Elisa, Kaster, Thoma, Koren, István, Liebenberg, Martin, Reinsch, Leon, Tirpitz, Liam, Trinh, Minh, Felipe Posada-Moreno, Andre, Liehner, Luca, Schemmer, Thoma, Vervier, Luisa, Völker, Marcu, Walderich, Philipp, Zhang, Song, Brecher, Christian, Schmitt, Robert H., Decker, Stefan, Gries, Thoma, Leon Häfner, Constantin, Herty, Michael, Jarke, Matthia, Kowalewski, Stefan, Kuhlen, Torsten W., Henrich Schleifenbaum, Johanne, Trimpe, Sebastian, van der Aalst, Wil, Ziefle, Martina, Gerhard Lakemeyer, And

مصطلحات موضوعية: neural network, inverse problems, data-driven methods, robot control, iop

وصف الملف: ELETTRONICO

Relation: ispartofbook:Internet of Production: Fundamentals, Methods and Applications; volume:1; firstpage:91; lastpage:136; numberofpages:46; alleditors:Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg; https://hdl.handle.net/11392/2537113

الاتاحة: https://hdl.handle.net/11392/2537113

المؤلفون: Marco Grochowski, Marcus Völker, Stefan Kowalewski

المصدر: Formal Methods for Industrial Critical Systems ISBN: 9783031150074

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::60589aea985d8670e9d4fdf26a6c58de
https://doi.org/10.1007/978-3-031-15008-1_10

المؤلفون: Thomas Henn, Marcus Völker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher

المصدر: Formal Methods for Industrial Critical Systems ISBN: 9783031150074

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d4bc9795fd8e65802edf60bf5a25494f
https://doi.org/10.1007/978-3-031-15008-1_14

المؤلفون: Bassam Alrifaee, Maximilian Kloock, Leon Rabanus, Stefan Kowalewski, Marcus Völker

المصدر: IFAC-PapersOnLine. 52:99-104

مصطلحات موضوعية: Model checking, 0209 industrial biotechnology, Theoretical computer science, Computer science, 020208 electrical & electronic engineering, 02 engineering and technology, Construct (python library), Vehicle behavior, Automaton, 020901 industrial engineering & automation, Control and Systems Engineering, 0202 electrical engineering, electronic engineering, information engineering, State space, Automata theory, Temporal logic

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1141a5a083cf3d4a3e44b20c7cd6e1c9
https://doi.org/10.1016/j.ifacol.2019.08.055

المؤلفون: Stefan Kowalewski, Marcus Völker

المصدر: Static Analysis ISBN: 9783030323035
SAS

مصطلحات موضوعية: 050101 languages & linguistics, Mathematical optimization, Computer science, Heuristic, 05 social sciences, 02 engineering and technology, Static analysis, Fixed point, Variable (computer science), Value (economics), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, Constant (mathematics), Selection (genetic algorithm), Data-flow analysis

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0e4f29a5723bd241c565e5935be19341
https://doi.org/10.1007/978-3-030-32304-2_5

المؤلفون: Müller, Marcus Volker

مصطلحات موضوعية: Tierärztliche Fakultät, ddc:500, ddc:590, stat, hist

Relation: https://edoc.ub.uni-muenchen.de/17489/1/Mueller_Marcus_Volker.pdf

الاتاحة: https://edoc.ub.uni-muenchen.de/17489/1/Mueller_Marcus_Volker.pdf

المؤلفون: Müller, Marcus Volker

مصطلحات موضوعية: Tierärztliche Fakultät, ddc:500, ddc:590

وصف الملف: application/pdf

Relation: https://edoc.ub.uni-muenchen.de/17489/; Müller, Marcus Volker (2014): Untersuchung der Expression von Proteinen des Staupevirus durch das Modifizierte Vacciniavirus Ankara im Hinblick auf die Erstellung von Vakzinekandidaten. Dissertation, LMU München: Tierärztliche Fakultät

الاتاحة: https://edoc.ub.uni-muenchen.de/17489/1/Mueller_Marcus_Volker.pdf
http://nbn-resolving.de/urn:nbn:de:bvb:19-174897

المؤلفون: Klara Haas, Paul Robben, Anke Kiesslich, Marcus Volkert, Henry Jaeger

المصدر: Foods, Vol 8, Iss 8, p 285 (2019)

مصطلحات موضوعية: spray drying, freeze drying, antioxidants, carotenoid aggregates, coloring foods, Chemical technology, TP1-1185

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2304-8158/8/8/285; https://doaj.org/toc/2304-8158

URL الوصول: https://doaj.org/article/bd25bfc343d14546ac0d83acb2e793e7

المؤلفون: Marcus Völker, Inoue, K.

المصدر: Scopus-Elsevier

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::712b400ff1e1177129fe83b679d295b9
http://www.scopus.com/inward/record.url?eid=2-s2.0-84944221318&partnerID=MN8TOARS