scientific article; zbMATH DE number 2080762

MaRDI QIDQ4473726zbMATH OpenFDO

Authors Edward A. Lee, Yuhong Xiong

Publication date 4 August 2004

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

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 1629952
• A behavioral type system and its application in Ptolemy II
• scientific article; zbMATH DE number 2201909
• scientific article; zbMATH DE number 2089396
• scientific article; zbMATH DE number 7454918

Cited in

(9)

• A behavioral type system and its application in Ptolemy II
• Assembly at system level versus component level
• Partition refinement of component interaction automata
• Refinement preserving approximations for the design and verification of heterogeneous systems
• The refinement calculus of reactive systems
• scientific article; zbMATH DE number 1629952 (Why is no real title available?)
• The design and application of structured types in Ptolemy II
• Approximating Behaviors in Embedded System Design
• A Type System for Usage of Software Components

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 Q4473726)