scientific article; zbMATH DE number 764121

MaRDI QIDQ4836102zbMATH OpenFDO

Authors

Publication date 14 June 1995

zbMATH Keywords

algebraic methodologyAMASTIowa City, IA (USA)Proceedingsreal-time systemReal-time system developmentuniversal algebraWorkshop

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Symbolic computation and algebraic computation (68W30)

Recommendations

• Real-Time Systems
• scientific article; zbMATH DE number 1332575
• Algebraic methodology and software technology. Selected papers of the 5th international conference, AMAST '96, Munich, Germany, July 1--5, 1996
• scientific article; zbMATH DE number 1569674
• scientific article; zbMATH DE number 108568

Describes a project that uses

Uses Software

• Coq

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