Search

Ning Ge

RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus
Formal Verification of User-Level Real-Time Property Patterns

Published with Wowchemy — the free, open source website builder that empowers creators.