Alexander Raschke

Latest

• Adaptive Exterior Light and Speed Control System
• Formal Specification of the Semantics of Control State Diagrams
• A Universal Control Construct for Abstract State Machines
• Unified Syntax for Abstract State Machines
• Introducing Aspect-Oriented Specification for Abstract State Machines