المؤلفون: Hein, D., Reitenspiess, M.

المصدر: 2006 Sixth European Dependable Computing Conference Dependable Computing Conference, 2006. EDCC '06. Sixth European. :73-76 Oct, 2006

Relation: 2006 Sixth European Dependable Computing Conference

المؤلفون: Reitenspieß, M.^Aff3

المساهمون: van Rijsbergen, C. J., editor, Rosenberg, John, editor^Aff1, Keedy, J. Leslie, editor^Aff2

المصدر: Security and Persistence : Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information 8–11 May 1990, Bremen, West Germany. :202-214

Degree: BSc, PhD
BD, DPhil, PhD

المؤلفون: Hendriks, M., Nieuwelaar, N.J.M. van den, Vaandrager, F.W., Margaria, T., Steffen, B., Philippou, A., Reitenspiess, M.

المساهمون: Margaria, T., Steffen, B., Philippou, A., Reitenspiess, M., Chemical Engineering and Chemistry

المصدر: International Journal on Software Tools for Technology Transfer, 8, 633-647
International Journal on Software Tools for Technology Transfer, 8, 6, pp. 633-647
Margaria, T.; Steffen, B.; Philippou, A. (ed.), Preliminary Proceedings International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004), rm October/November 2004, Paphos, Cyprus, 201-209. [S.l.] : Department of Computer Science, University of Cyprus
STARTPAGE=201;ENDPAGE=209;TITLE=Margaria, T.; Steffen, B.; Philippou, A. (ed.), Preliminary Proceedings International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004), rm October/November 2004, Paphos, Cyprus
Margaria, T.; Steffen, B.; Philippou, A. (ed.), Preliminary Proceedings International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004), rm October/November 2004, Paphos, Cyprus, pp. 201-209
International Journal on Software Tools for Technology Transfer, 8(6), 633-647. Springer

مصطلحات موضوعية: Informatics for Technical Applications, Bisimulation, Model checking, Schedule, Finite-state machine, Computer science, Timed automaton, Deadlock, ComputingMethodologies_DOCUMENTANDTEXTPROCESSING, Real-time operating system, Throughput (business), Algorithm, Software, Information Systems

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f51e04800691ba8f36d811ecb516065e
https://doi.org/10.1007/s10009-006-0025-7

المؤلفون: Gotzhein, R.^Aff2, Keramidis, S.^Aff2, Reitenspieß, M.^Aff2

المساهمون: Brauer, W., editor, Wössner, Hans, editor^Aff1

المصدر: Programmiersprachen und Programmentwicklung : 7. Fachtagung veranstaltet vom Fachausschuß 2 der GI München, 9./10. März 1982. 53:105-116

المؤلفون: Reitenspieß, M.^Aff2, Merz, G.^Aff2

المساهمون: Budde, Reinhard, editor^Aff1, Kuhlenkamp, Karin, editor^Aff1, Mathiassen, Lars, editor^Aff1, Züllighoven, Heinz, editor^Aff1

المصدر: Approaches to Prototyping. :165-175

المؤلفون: Matthiesen, E.V., Radimirsch, M., Huszerl, G., Reitenspieß, M., Kaâniche, Mohamed, Svinnset, I-E., Casimiro, António, Falai, L.

المصدر: Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3056::6f5b8643b5d4b319d984a42077128988
http://repositorio.ul.pt/handle/10455/2926

المؤلفون: Keramidis, S.^Aff2, Reitenspieß, M.^Aff2

المساهمون: Brauer, W., editor, Wilhelm, R., editor^Aff1

المصدر: GI - 10. Jahrestagung : Saarbrücken, 30. September – 2. Oktober 1980. 33:305-305

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.