Recent trends in algebraic development techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, revised selected papers

BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers

FM + AM '2010 second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy)

Volltext

System level design model with re-use of system IP

URL des Erstveröffentlichers

Formale Methoden und Sicherheitsanalyse

Volltext

Understanding agent systems von D'Inverno, Mark, Luck, Michael

Recent trends in algebraic development techniques 25th international workshop, WADT 2020, virtual event, April 29, 2020, revised selected papers

BTU01
FCO01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBT01
UBW01
UBY01
UER01
UPA01
UBR01
URL des Erstveröffentlichers

Deductive hardware design a functional approach

Volltext

Recent trends in algebraic development techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers

Volltext

Digitale Hardware/Software-Systeme Spezifikation und Verifikation von Haubelt, Christian 1972-, Teich, Jürgen 1964-

BFB01
BTU01
BTW01
FAB01
FAN01
FAW01
FCO01
FFW01
FHA01
FHD01
FHI01
FHM01
FHN01
FHO01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBG01
UBM01
UBT01
UBW01
UBY01
UER01
Volltext

Failure-sensitive specification a formal method for finding failure modes

Volltext

Integration formaler Spezifikation und Sicherheitsanalyse

Volltext

FM + AM '2010 second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy)

Specification of software systems von Alagar, Vangalur S., Periyasamy, K.

Modellierung verteilter Systeme Konzeption, formale Spezifikation und Verifikation mit Produktnetzen von Ochsenschläger, Peter, Prinoth, Rainer

Inhaltsverzeichnis

A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems von Pfähler, Jörg Michael ca. 20./21. Jh

kostenfrei
kostenfrei

Recent trends in algebraic development techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers

Recent trends in algebraic development techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers

Volltext

Certified programs and proofs third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 ; proceedings

Certified programs and proofs third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 ; proceedings von Gonthier, Georges

BTU01
FHA01
FHM01
FHN01
FKE01
TUM01
UBA01
UBG01
UBT01
UBW01
UBY01
UER01
UPA01
Volltext
Inhaltsverzeichnis
Abstract

Certified programs and proofs second international conference, CPP 2012, Kyoto, Japan, December 13 - 15, 2012 ; proceedings

Volltext