139 Results for (keywords_en:SPECIFICATIONS)

Subscribe to RSS feed for this result set

26. Bestimmung der kalorischen Stoffwerte von Metallen mit Hilfe instationärer Wärmefluss-Vorgänge unter Vermeidung kalorimetrischer Messungen

Hsu, Shao-Ti (1954)


Doctoral and Habilitation Theses

27. The logic of event-B

Schmalz, Matthias (2011)


Reports

28. Neutrontransferreaktionen unterhalb der Coulombbarriere

Seiler, Hanspeter (1974)


Doctoral and Habilitation Theses

29. A Trace-based Model for Multiparty Contracts

Hvitved, Tom, Klaedtke, Felix and Zălinescu, Eugen (2012)


Journal Items

30. Spezifische Wärme von Uranmonopniktiden und Uranmonochalkogeniden bei tiefen Temperaturen

Rudigier, Helmut Franz (1984)


Doctoral and Habilitation Theses

31. Tool support for qualitative reasoning in event-B

Yilmaz, Emre (2010)


Master Theses

32. Formal techniques for Java-like programs

Eisenbach, Susan, Leavens, Gary T., Müller, Peter, Poetzsch-Heffter, Arnd and Poll, Erik (2003)


Reports

33. Konzepte zur Systematisierung der Benutzerschnittstelle in interaktiven Systemen und ihre Anwendung auf den Entwurf von Editoren

Burkhart, Helmar (1981)


Reports

34. Trinity: The OSGi module development server

Granat, Jérémie (2008)


Master Theses

35. Zertrümmerungsversuche an Lithium, Bor und Deuterium

Alexopoulos, Kessar Demosthenes (1935)


Doctoral and Habilitation Theses

36. Integrated Specification and Verification of Security Protocols and Policies

Frau, Simone and Torabi Dashti, Mohammad (2010)


Reports

37. Modular invariants for layered object structures

Müller, Peter, Poetzsch-Heffter, Arnd and Leavens, Gary T. (2005)


Reports

38. Structural relations between programs and problems

Engeler, Erwin (1975)


Reports

39. Lorenzzahl und thermische Leitfähigkeit flüssiger Metalle

Haller, Walter (1976)


Doctoral and Habilitation Theses

40. A Modular Design for the Common Language Runtime (CLR) Architecture

Fruja, Nicu Georgian (2005)


Reports

41. Reasoning about Liveness Properties in Event-B

Hoang, Thai Son and Abrial, Jean-Raymond (2011)


Conference Contributions

42. A case study of a formalized security architecture

Brucker, Achim D.


Conference Contributions

43. Nouvelle détermination du coefficient d'aimantation de l'eau

Devaud, Albert (1921)


Doctoral and Habilitation Theses

44. A Modular Design for the Common Language Runtime (CLR) Architecture

Fruja, Nicu Georgian (2005)


Reports

45. Microstructure of public exchanges

Jost, Marco (2003)


Doctoral and Habilitation Theses

46. Specification and verification of closures

Kassios, Ioannis T. and Müller, Peter (2010)


Reports

47. Modelling dependent defaults

Frey, Rüdiger and McNeil, Alexander J. (2001)


Reports

48. Specification-based firewall testing

Bidder-Senn, Diana von (2006)


Reports

49. GIPSY: a generator for incremental programming systems

Marti, Reto and Murer, Tobias (1992)


Reports

50. A workflow approach to stream processing

Biörnstad, Biörn Johan (2008)


Doctoral and Habilitation Theses