scientific article; zbMATH DE number 2080769

MaRDI QIDQ4473735zbMATH OpenFDO

Authors Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2211/22110324.htm

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Applications and Theory of Petri Nets 2004
• Refinement preserving approximations for the design and verification of heterogeneous systems
• scientific article; zbMATH DE number 2080754
• Programming Languages and Systems
• scientific article; zbMATH DE number 2080766

Cited in

(8)

• Using abstraction in modular verification of synchronous adaptive systems
• A mixed level simulation environment for stepwise RTOS software refinement
• Refinement preserving approximations for the design and verification of heterogeneous systems
• Approximating Behaviors in Embedded System Design
• scientific article; zbMATH DE number 2017340 (Why is no real title available?)
• Bisimulation relations for dynamical, control, and hybrid systems
• Applications and Theory of Petri Nets 2004
• Síntese de Software Adaptativo baseada em Especificações, Extended Dataflow

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4473735)