Website Benjamin De Leeuw

Research

Analysis of UML Statechart Construction

Memory Model Specification and Verification for Distributed Applications

State Machine DNA

Oudere Versies van deze Website