Flexible and configurable verification policies with Omnibus

ISSN： 1619-1366

Source： Software and Systems Modeling (SoSyM), Vol.7, Iss.3, 2008-07, pp. : 257-272

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

Adaptive manufacturing scheduling: a flexible and configurable agent-based prototype

By Cheeseman M. J.

Production Planning and Control, Vol. 16, Iss. 5, 2005-07 ,pp. : 479-487

Taylor & Francis Ltd

Access to resources Recommend Favorite

Modeling and experimental verification of a flexible rotor/AMB system

By Štimac Goranka Braut Sanjin Bulic Neven Žigulic Roberto

COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 32, Iss. 4, 2013-07 ,pp. : 1244-1254

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Automatic Verification of Static Policies on Software Process Models

By Reis R.Q.

Annals of Software Engineering, Vol. 14, Iss. 1-4, 2002-12 ,pp. : 197-234

Springer Publishing Company

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