scientific article; zbMATH DE number 2080769

zbMATH Open1050.68521MaRDI QIDQ4473735FDOQ4473735

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Theory of software (68N99)

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
• Title not available (Why is that?)
• Applications and Theory of Petri Nets 2004
• Bisimulation relations for dynamical, control, and hybrid systems
• 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)