Horst F. Wedde

Available identifiers

zbMath Open wedde.horst-fMaRDI QIDQ1329096

List of research outcomes

Publication	Date of Publication	Type
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4472233	2004-08-04	Paper
How and where do we live in virtual reality and cyberspace —Threats and Potentials	2003-03-18	Paper
Formal timing analysis for distributed real-time programs	1994-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q3809246	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3785930	1987-01-01	Paper
An iterative and starvation-free solution for a general class of distributed control problems based on interaction primitives	1983-01-01	Paper
Modeling a solution for a control problem in distributed systems by restrictions	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3883470	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3892129	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3907469	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4187304	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4174216	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4152084	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4105765	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4055208	1975-01-01	Paper

Research outcomes over time

This page was built for person: Horst F. Wedde