Suggestion for formally Verification of partially specified safety-critical Automotive Systems
Safety-Critical Systems: Proposal to Access a Partially Defined Analog Structure
Distributed Component Systems Modelling with Parallel Composition
Distributed component systems modelling with parallel composition