Consistent graphical specification of distributed systems-Reference-Cited by-同舟云学术

Consistent graphical specification of distributed systems

Published:1997 Issue: Volume: Page:122-141
ISSN:0302-9743
Container-title:FME '97: Industrial Applications and Strengthened Foundations of Formal Methods
language:
Short-container-title:

Author:

Huber Franz,Schätz Bernhard,Einert Geralf

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-63533-5_7.pdf

Reference15 articles.

1. A. Biere. Eine Methode zur,μ-Kalkül-Modellprüfung. Slides for the AKFM from 23.05.96, GI/ITG-Fachgespräch ‘Formale Beschreibungstechniken für verteilte Systeme” (in German), 1996.

2. M. Broy, C. Dendorfer, F. Dederichs, M. Fuchs, T. Gritzner, and R. Weber. The Design of Distributed Systems-An Introduction to FOCUS. Technical Report TUM-19225, Technische Universität München, 1992.

3. M. Fuchs and M. Mendler. Functional Semantics for Delta-Delay VHDL based on Focus. In: C. Delgado Kloos and P. Breuer (eds.). Formal Semantics for VHDL, Kluwer Academic Publishers, 1994, Chapter 1, pp. 9–38.

4. R. Grosu, C. Klein, B. Rumpe, and M. Broy. State Transition Diagrams. Technical Report TUM-19630, Technische Universität München, 1996.

5. D. Harel and A. Naamad. The Statemate Semantics of Statecharts. IEEE Transactions of Software Engineering Methods, 1996.

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Specification Based Automatic Test Generation for Embedded Network Systems;Journal of Applied Mathematics;2014

2. Formal semantics of modular time refinement in AutoFocus;Computer Science - Research and Development;2011-03-10

3. On the correctness of upper layers of automotive systems;Formal Aspects of Computing;2008-12

4. Das AutoMoDe-Projekt;Informatik - Forschung und Entwicklung;2007-06-06

5. Computing refactorings of state machines;Software & Systems Modeling;2007-01-24