Formal Aspects of Computing 4/2006 | springerprofessional.de

Springer Professional

nach oben

Formal Aspects of Computing

Inhalt (5 Artikel)

ORIGINAL ARTICLE

On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams

Jennifer Tenzer, Perdita Stevens

Original Article

An approximation algorithm for state minimization in 2-MDFAs

K. Subramani, C. Tauras

Original Article

Analysis of a biphase mark protocol with Uppaal and PVS

F. W. Vaandrager, A. L. de Groot

Original article

How to stop time stopping

Howard Bowman, Rodolfo Gómez

Original Article

A Calculus and logic of resources and processes

David Pym, Chris Tofts

Ausgabe: 3/2006

Ausgabe: 1/2007

Anzeige

Aktuelle Ausgaben

Formal Aspects of Computing 6/2021
Formal Aspects of Computing 4-5/2021
Extended versions of papers presented at FM 2019
Formal Aspects of Computing 3/2021
Formal Methods and AI
Formal Aspects of Computing 2/2021
Formal Aspects of Computing 1/2021
EXTENDED VERSIONS OF PAPERS PRESENTED AT FM 2018
Formal Aspects of Computing 4-6/2020
Formal Aspects of Computing 2-3/2020
Formal Methods for Robotics
Formal Aspects of Computing 1/2020
Formal Aspects of Computing 6/2019
SPECIAL ISSUE ON HISTORY OF FORMAL METHODS
Formal Aspects of Computing 5/2019
EXTENDED VERSIONS OF SELECTED PAPERS PRESENTED AT FASE 2018

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Weitere Formate
Fachgebiete
Bücher
Zeitschriften
Themenseiten
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024