140 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

58. Code-generation on-the-fly

Franz, Michael Steffen Oliver (1994)


Doctoral and Habilitation Theses

69. Formalizing the logic of event-B

Schmalz, Matthias (2012)


Doctoral and Habilitation Theses

71. Essays in political economics

Becker, Johannes Gerd (2011)


Doctoral and Habilitation Theses

74. Prototyping a Concurrency Model

Morandi, Benjamin (2014)


Doctoral and Habilitation Theses

75. Relevance filters for event-B

Röder, Jann (2010)


Master and Bachelor Theses