PEARL

swMATH2990MaRDI QIDQ15525FDOQ15525

Author name not available (Why is that?)

Described by source

• Modeling distributed real-time applications with Specification PEARL

Cited In (3)

• Evaluating the expressive power of the real-time specification for Java
• Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
• Title not available (Why is that?)

This page was built for software: PEARL