142 Results for (keywords_en:SPECIFICATIONS)

Subscribe to RSS feed for this result set

57. Kausale Beschreibung von Systemen

Gisiger, Hans Peter (1992)


Doctoral and Habilitation Theses

59. Microstructure of public exchanges

Jost, Marco (2003)


Doctoral and Habilitation Theses

63. Prototyping a Concurrency Model

Morandi, Benjamin (2014)


Doctoral and Habilitation Theses

64. Relevance filters for event-B

Röder, Jann (2010)


Master and Bachelor Theses

67. Formalizing the logic of event-B

Schmalz, Matthias (2012)


Doctoral and Habilitation Theses

70. Code-generation on-the-fly

Franz, Michael Steffen Oliver (1994)


Doctoral and Habilitation Theses