<--- Back to Details
First PageDocument Content
Computing / Software engineering / Computer science / Formal methods / Theoretical computer science / Bernhard Steffen / Model checking / Large-scale Complex IT Systems / European Joint Conferences on Theory and Practice of Software / Software development / ACM Transactions on Programming Languages and Systems / Draft:Tiziana Margaria
Date: 2016-11-23 09:11:46
Computing
Software engineering
Computer science
Formal methods
Theoretical computer science
Bernhard Steffen
Model checking
Large-scale Complex IT Systems
European Joint Conferences on Theory and Practice of Software
Software development
ACM Transactions on Programming Languages and Systems
Draft:Tiziana Margaria

Prof. Bernhard Steffen TU Dortmund BIO Bernhard Steffen graduated in Mathematicsand obtained a PhD in Computer Sciencefrom the Christian-Albrechts Universität Kiel (D), then he was Research Fellow at the

Add to Reading List

Source URL: ls5-www.cs.tu-dortmund.de

Download Document from Source Website

File Size: 12,25 KB

Share Document on Facebook

Similar Documents

InsFtute
of
Molecular
Systems
Biology

 Accelerating 3D Protein Modeling Using Cloud Computing 
 Lars
Malmström,
Ruedi
Aebersold
–
ETH
Zürich,
IMSB
h?p://www.imsb.ethz.ch
 Wibke
Sud

InsFtute
of
Molecular
Systems
Biology

 Accelerating 3D Protein Modeling Using Cloud Computing 
 Lars
Malmström,
Ruedi
Aebersold
–
ETH
Zürich,
IMSB
h?p://www.imsb.ethz.ch
 Wibke
Sud

DocID: 1xW13 - View Document

Erste Diskussionsrunde Treiber und betroffene Gebiete • Cloud Computing ist ein neuer Versuch, eine alte Idee zu reanimieren. Es handelt sich im Grund um eine blosse Marketing & Sales-Kampagne der Anbieter von Infrastr

Erste Diskussionsrunde Treiber und betroffene Gebiete • Cloud Computing ist ein neuer Versuch, eine alte Idee zu reanimieren. Es handelt sich im Grund um eine blosse Marketing & Sales-Kampagne der Anbieter von Infrastr

DocID: 1xW0r - View Document

Stochastic Synthesis for Stochastic Computing Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin University of Washington arXiv:1810.04756v1 [cs.ET] 10 Oct 2018

Stochastic Synthesis for Stochastic Computing Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin University of Washington arXiv:1810.04756v1 [cs.ET] 10 Oct 2018

DocID: 1xVZF - View Document

Robotics - the next revolution in technology? From the early industrial revolution of the 18th century, powered by water and steam, to the combustion engine for cars in the 19th century and then to computing in the 20th

Robotics - the next revolution in technology? From the early industrial revolution of the 18th century, powered by water and steam, to the combustion engine for cars in the 19th century and then to computing in the 20th

DocID: 1xVUw - View Document

SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic,

SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic,

DocID: 1xVSx - View Document