Zum Inhalt springen

Fruja, Nicu Georgian [VerfasserIn]

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

Online ansehen
Schließen

Links

https://hdl.handle.net/20.500.11850/69598

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH, Department of Computer Science, 2005

Erschienen in: Technical Report / ETH Zurich, Department of Computer Science, 492
Fruja, Nicu Georgian [VerfasserIn]

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

Online ansehen
Schließen

Links

https://hdl.handle.net/20.500.11850/69599

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH, Department of Computer Science, 2005

Erschienen in: Technical Report / ETH Zurich, Department of Computer Science, 493
Yilmaz, Emre [VerfasserIn]

Tool support for qualitative reasoning in event-B

Online ansehen
Schließen

Links

https://hdl.handle.net/20.500.11850/152161

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Swiss Federal Institute of Technology, Department of Computer Science, Chair of Information Security, 2010
Hoang, Thai Son [VerfasserIn]; Iliasov, Alexei [VerfasserIn]; Silva, Renato A. [VerfasserIn]; Wei, Wei [VerfasserIn]

A Survey on Event-B Decomposition

Online ansehen
Schließen

Links

https://hdl.handle.net/20.500.11850/153415

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Eidgenössische Technische Hochschule Zürich, 2012

Erschienen in: Electronic Communications of the EASST
Schmalz, Matthias [VerfasserIn]

The logic of event-B

Online ansehen
Schließen

Links

https://hdl.handle.net/20.500.11850/69354

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH, Department of Computer Science, 2011

Erschienen in: Technical Report / ETH Zurich, Department of Computer Science, 698
Hoang, Thai Son [VerfasserIn]; Fürst, Andreas [VerfasserIn]; Abrial, Jean-Raymond [VerfasserIn]

Event-B patterns and their tool support

Online ansehen
Schließen

Links

https://hdl.handle.net/20.500.11850/69827

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Eidgenössische Technische Hochschule Zürich, 2012
Hoang, Thai Son [VerfasserIn]; Kuruma, Hironobu [VerfasserIn]; Basin, David A. [VerfasserIn]; Abrial, Jean-Raymond [VerfasserIn]

Developing topology discovery in Event-B*

Online ansehen
Schließen

Links

https://hdl.handle.net/20.500.11850/69755

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH, Department of Computer Science, 2008

Erschienen in: Technical report, 611
Schmalz, Matthias [VerfasserIn] ; Jones, Cliff [MitwirkendeR]; Basin, David A. [MitwirkendeR]

Formalizing the logic of event-B: Partial functions, definitional extensions, and automated theorem proving

Online ansehen
Schließen

Links

https://hdl.handle.net/20.500.11850/64337

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH, 2012
Lehner, Hermann [VerfasserIn] ; Beckert, Bernhard [MitwirkendeR]; Müller, Peter [MitwirkendeR]

A formal definition of JML in Coq and its application to runtime assertion checking

Online ansehen
Schließen

Links

https://hdl.handle.net/20.500.11850/44276

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH, 2011
Güting, Ralf Hartmut [VerfasserIn]

Second-order signature: a tool for specifying data models, query processing, and optimization

Online ansehen
Schließen

Links

https://hdl.handle.net/20.500.11850/68719

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Eidgenössische Technische Hochschule Zürich, 1992

Erschienen in: ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Informationssysteme, 192
Hoang, Thai Son [VerfasserIn]

Proving almost-certain convergence properties using event-B

Online ansehen
Schließen

Links

https://hdl.handle.net/20.500.11850/69335

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Eidgenössische Technische Hochschule Zürich, Institute of Information Security, 2013

Erschienen in: Technical Report / ETH Zurich, Department of Computer Science, 768

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr