Static analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, proceedings

DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Static analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018 : proceedings

DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Static analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017 : proceedings

Volltext

Static analysis 30th international symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, proceedings

Volltext

Introduction to static analysis an abstract interpretation perspective von Rival, Xavier, Yi, Kwangkeun

DE-91G
DE-91
Volltext

Static analysis 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017 : proceedings

Using R and RStudio for data management, statistical analysis, and graphics von Horton, Nicholas J.

Static analysis of embedded software with priority scheduling and interrupts von Schwarz, Martin D.

Inhaltstext
Inhaltsverzeichnis

Data-flow based Model Analysis Approach, Implementation and Applications von Saad, Christian

kostenfrei
Volltext

Static analysis 30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings

Static analysis 19th international symposium, SAS 2012, Deauville, France, September 11 - 13, 2012 ; proceedings

Inhaltsverzeichnis

Securing real-time cyber-physical systems using artificial software diversity von Fellmuth, Joachim

kostenfrei

Securing real-time cyber-physical systems using artificial software diversity von Fellmuth, Joachim

kostenfrei

Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 201 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Bayesian portfolio optimization from a static and dynamic perspective von Bade, Alexander

Inhaltsverzeichnis

Strategieverbesserungsalgorithmen für exakte Programmanalysen von Gawlitza, Thomas Martin

Inhaltsverzeichnis

Static analysis 16th international symposium, SAS 2009, Los Angeles, CA, USA, August 9 - 11, 2009 ; proceedings

Inhaltsverzeichnis

Static analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018 : proceedings

Program analysis and compilation, theory and practice essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday

DE-634
DE-M347
DE-91
DE-384
DE-473
DE-19
DE-706
DE-739
DE-355
Volltext

Static analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings

Volltext