Specification and verification of harmonized business-process collaborations

ISSN： 1387-3326

Source： Information Systems Frontiers, Vol.12, Iss.4, 2010-09, pp. : 457-479

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A Formal Specification of the Memorization Process

International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 1, Iss. 4, 2007-10 ,pp. : 47-60

IGI Global_journal

Access to resources Recommend Favorite

An approach to formal specification and verification of map-centered applications

By Nelson M.A.V. Alencar P.S.C. Cowan D.D.

Environmental Modelling and Software, Vol. 16, Iss. 5, 2001-07 ,pp. : 459-465

Elsevier

Access to resources Recommend Favorite

Formal Verification of Activity-Based Specification of Protocols

By Anand K.C. Shyamasundar R.K.

Journal of Parallel and Distributed Computing, Vol. 60, Iss. 5, 2000-05 ,pp. : 639-676

Academic Press

Access to resources Recommend Favorite

Dynamic Access Control Policies: Specification and Verification

By Janicke H. Cau A. Siewe F. Zedan H.

Computer Journal, Vol. 56, Iss. 4, 2013-04 ,pp. : 440-463

Oxford University Press

Access to resources Recommend Favorite

UML specification of access control policies and their formal verification

By Koch Manuel Parisi-Presicce Francesco

Software and Systems Modeling (SoSyM), Vol. 5, Iss. 4, 2006-12 ,pp. : 429-447

Springer Publishing Company

Access to resources Recommend Favorite