Citation map · Study

SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

A formal verification framework and associated tools for Enterprise Modeling: Application to UEML

11 references·1 citing·39 second hop

FromToDepth

this work references cited by second hop

References

1992Extending and formalizing the framework for information systems architecture1,020 cited
2009International Standard Organization589 cited
1996Enterprise modeling and integration : principles and applications569 cited
1998ARIS — Business Process Frameworks391 cited
2002Review of 62 risk analysis methodologies of industrial plants386 cited
1998Handbook on Architectures of Information Systems301 cited
2004Standards on enterprise integration and engineering—state of the art124 cited
2006Handbook on Architectures of Information Systems117 cited
2006The IDEF Family of Languages88 cited
2003Enterprise model verification and validation: an approach33 cited
2010Enterprise Architecture and New Generation Information Systems29 cited

Cited by

2008Model Management and Solvers for Decision Support14 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work