Author of the publication

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.

 

Other publications of authors with the same name

The Effect of LSI Technology on the Theory of Modular Computer Design., and . Computer, 11 (7): 60-67 (1978)Formally Verifying Fault Tolerant System Designs., , and . Comput. J., 43 (3): 191-205 (2000)A Distributed Domino-Effect free recovery Algorithm., , and . Symposium on Reliability in Distributed Software and Database Systems, page 207-215. IEEE Computer Society, (1984)Architectural challenges for a dependable Information Society., , , and . IFIP Congress Topical Sessions, volume 156 of IFIP, page 282-304. Kluwer/Springer, (2004)Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations., , and . SRDS, page 214-221. IEEE Computer Society, (1992)Towards a Discipline of System Engineering: Validation of Dependable Systems Architectures.. ISADS, page 409-410. IEEE Computer Society, (1999)Architectural Challenges for Ämbient Dependability".. WORDS Fall, page 245-249. IEEE Computer Society, (2003)Modeling and Analysis of the Behavior of GPRS Systems., , , , and . WORDS, page 51-58. IEEE Computer Society, (2001)Design Description Languages for the Design of Predictability Dependable Real-Time Systems.. IFIP Congress (1), volume A-12 of IFIP Transactions, page 598. North-Holland, (1992)The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm., , and . NATO ASI RTC, volume 127 of NATO ASI Series, page 527-529. Springer, (1992)