scientific article; zbMATH DE number 2086942

zbMATH Open1057.68589MaRDI QIDQ4737548FDOQ4737548

Authors: Eran Gery, David Harel, Eldad Palachi 

Publication date: 11 August 2004

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

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

Recommendations

• scientific article; zbMATH DE number 2009988
• USE: A UML-based specification environment for validating UML and OCL
• Formal Methods for Components and Objects
• scientific article; zbMATH DE number 1931787
• scientific article; zbMATH DE number 1262888

Mathematics Subject Classification ID

Theory of software (68N99)

Cited In (1)

• Active learning for extended finite state machines

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