( en | de | ru )

 

Disambiguation of "Rathmair, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability.

, , , , , , and . RO-MAN, page 1283-1288. IEEE, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Liecke

Subnationale Clusterpolitik: die Biotechnologiepolitik deutscher Länder im Vergleich. Uni München, (2009)

Michael Schoierer

NS-Diktatur, Anomie und Demokratisierung Westdeutschlands. Uni Augsburg, (2007)

Michael Krug

X-ray crystallographic analysis of the archaeal transcriptional regulator TrmB and development of a graphical user interface for the monochromatic diffraction data processing software XDS. Uni Konstanz, (2009)

Michael Bernateck

Komplexes Regionales Schmerzsyndrom Typ 1 (M.Sudeck): neue Aspekte zur Symptomatologie, Pathogenese, Diagnostik und Therapie. MedH Hannover, habilitation, (2009)

Michael Bode

Le groupe international de sociétés: le système de conflit de lois en droit comparé français et allemand. HU Berlin, (2009)
 

Other publications of authors with the same name

Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination., , and . APSEC, page 233-240. IEEE Computer Society, (2016)Consistently Formalizing a Business Process and its Properties for Verification: A Case Study., , , and . PoEM, volume 235 of Lecture Notes in Business Information Processing, page 126-140. Springer, (2015)LightClockV2 - A Motivation for Teaching Scalable Digital Hardware Design., , and . ISIE, page 917-922. IEEE, (2018)Load identification and management framework for private households., and . IECON, page 5729-5734. IEEE, (2013)Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation., , and . HICSS, page 1-10. ScholarSpace / AIS Electronic Library (AISeL), (2017)Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems., , , and . HICSS, page 1-10. ScholarSpace / AIS Electronic Library (AISeL), (2018)eNDUSTRIE 4.0 - A future-technologies qualification network for local businesses., , , , , , , and . ICPS, page 497-502. IEEE, (2018)Supplementary Material To: A Unified Perception Benchmark for Capacitive Proximity Sensing Towards Safe Human-Robot Collaboration (HRC)., , , , , , , , , and 2 other author(s). (March 2021)Verification of Business Processes Against Business Rules Using Object Life Cycles., , , and . WorldCIST (1), volume 444 of Advances in Intelligent Systems and Computing, page 589-598. Springer, (2016)Fully digital write-in scheme for multi-bit memristive storage., , , and . CCE, page 1-6. IEEE, (2016)