scientific article; zbMATH DE number 2085185

zbMATH Open1042.68728MaRDI QIDQ4736409FDOQ4736409

Authors:

Publication date: 9 August 2004

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

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

Recommendations

• scientific article; zbMATH DE number 1946735
• scientific article; zbMATH DE number 2006502
• scientific article; zbMATH DE number 2085182
• Composing real-time concurrent objects refinement, compatibility and schedulability

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model Checking of Extended OCL Constraints on UML Models in SOCLe
• On message specifications in OCL
• Title not available (Why is that?)
• Title not available (Why is that?)

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