Andreas Fürst

Formal development of a train control system using Event-B

Andreas Fürst, 2015 .

Event-B patterns and their tool support

Andreas Fürst, Thai Son Hoang, Jean-Raymond Abrial, 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.

Event-B Patterns and Their Tool Support

Andreas Fürst, Thai Son Hoang, Jean-Raymond Abrial, 2009, SEFM.

Code Generation for Event-B

Kunihiko Miyazaki, Andreas Fürst, Thai Son Hoang, 2014, IFM.

Using the generalised substitution language for event-B semantics

Andreas Fürst, Thai Son Hoang, 2010 .

Abstract Data Types in Event-B - An Application of Generic Instantiation pdf

Kunihiko Miyazaki, Andreas Fürst, Thai Son Hoang, 2012, ArXiv.

Europe and naval arms control in the Gorbachev era

Andreas Fürst, Steven E. Miller, Volker Heise, 1992 .

Large-scale system development using Abstract Data Types and refinement

Kunihiko Miyazaki, Andreas Fürst, Thai Son Hoang, 2016, Sci. Comput. Program..

Formal System Modelling Using Abstract Data Types in Event-B

Kunihiko Miyazaki, Andreas Fürst, Thai Son Hoang, 2014, ABZ.

Effektivität und Effizienz der Gestaltung des Beschwerdemanagements

Andreas Fürst, A. Fürst, 2008 .