UniForM Perspectives for Formal Methods-Reference-Cited by-同舟云学术

UniForM Perspectives for Formal Methods

Published:1999 Issue: Volume: Page:251-265
ISSN:0302-9743
Container-title:Applied Formal Methods — FM-Trends 98
language:
Short-container-title:

Author:

Krieg-Brückner Bernd

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48257-1_16

Reference54 articles.

1. Amthor, P., Dick, S. (1997): Test eines Bordcomputers für ein dezentrales Zugsteuerungssystem unter Verwendung des Werkzeuges VVT-RT. 7. Kolloquium Software-Entwicklung Methoden, Werkzeuge, Erfahrungen: Mächtigkeit der Software und ihre Beherrschung, Technische Akademie Esslingen.

2. Astesiano, E. and Cerioli, M. (1994): Multiparadigm Specification Languages: a First Attempt at Foundations, In: C.M.D.J. Andrews and J.F. Groote (eds.), Semantics of Specification Languages (SoSl’93), Workshops in Computing, pp. 168–185. Springer.

3. Blank Purper, C, Westmeier, S. (1998): A Graphical Development Process Assistant for Formal Methods. In: Proc. VISUAL’98 (short papers), at ETAPS’98, Lisbon. http://www.tzi.de/~uniform/gdpa

4. Lect Notes Comput Sci;B. Buth,1997

5. Buth, B., Peleska, J., Shi, H. (1998): Combining Methods for the Livelock Analysis of a Fault-Tolerant System. (submitted to AMAST’98)

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

1. TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving;Fundamental Approaches to Software Engineering;1999

2. The UniForM WorkBench A Higher Order Tool Integration Framework;Applied Formal Methods — FM-Trends 98;1999