scientific article; zbMATH DE number 2086942

MaRDI QIDQ4737548zbMATH OpenFDO

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

Mathematics Subject Classification ID

Theory of software (68N99)

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

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)