Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben

Formal Aspects of Computing

Ausgabe 1/2019

EXTENDED VERSIONS OF PAPERS PRESENTED AT SETTA 2016 (pp 1 - 58)

Inhalt (6 Artikel)

Editorial

Editorial

Martin Fränzle, Deepak Kapur, Heike Wehrheim, Naijun Zhan

Original Article

Toward automatic verification of quantum programs

Mingsheng Ying

Original Article

GPU-accelerated steady-state computation of large probabilistic Boolean networks

Andrzej Mizera, Jun Pang, Qixia Yuan

Original Article

Extensional Petri net

Xiaoju Dong, Yuxi Fu, Daniele Varacca

Original Article

Formal reliability analysis of redundancy architectures

Marco Bozzano, Alessandro Cimatti, Cristian Mattarei

Open Access Original Article

Automating Event-B invariant proofs by rippling and proof patching

Yuhui Lin, Alan Bundy, Gudmund Grov, Ewen Maclean

Nov 18
Ausgabe: 6/2018
EXTENDED VERSIONS OF PAPERS PRESENTED AT TAP 2016 (pp 627-684)
Apr 19
Ausgabe: 2/2019
EXTENDED VERSIONS OF PAPERS PRESENTED AT FM 2016

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr