scientific article; zbMATH DE number 3868590

zbMATH Open0545.68013MaRDI QIDQ3334969FDOQ3334969

Authors: Ryszard Goczyński 

Publication date: 1983

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

Recommendations

• scientific article; zbMATH DE number 62143
• scientific article; zbMATH DE number 4215348
• Synthesis of large dynamic concurrent programs from dynamic specifications
• scientific article; zbMATH DE number 1361120
• scientific article; zbMATH DE number 177509

zbMATH Keywords

verificationspecificationcorrectnessconcurrent real-time programscooperating sequential components

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• Title not available (Why is that?)
• Parameter synthesis for hierarchical concurrent real-time systems

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