R. Gotzhein
From MaRDI portal
Person:1400426
Available identifiers
zbMath Open gotzhein.reinhardMaRDI QIDQ1400426
List of research outcomes
| This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Wireless networking for control | 2013-11-18 | Paper |
| Compositional Testing of Communication Systems | 2007-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4450967 | 2004-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4450989 | 2004-02-16 | Paper |
| The formal semantics of SDL-2000: Status and perspectives. | 2003-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413753 | 2003-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413759 | 2003-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2779755 | 2002-04-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753711 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282632 | 1994-02-23 | Paper |
| Formal definition and representation of interaction points | 1993-06-29 | Paper |
| Temporal logic and applications—a tutorial | 1993-01-16 | Paper |
Research outcomes over time
This page was built for person: R. Gotzhein