Search

Lukasz Fronc

Time Petri Nets with Dynamic Firing Dates: Semantics and Applications
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
Time Petri nets with dynamic firing dates: semantics and applications

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