On the verification of membrane systems with dynamic structure

ISSN： 1567-7818

Source： Natural Computing, Vol.9, Iss.4, 2010-12, pp. : 795-818

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

Dynamic and Formal Verification of Embedded Systems: A Comparative Survey

By Loghi Mirko Margaria Tiziana Pravadelli Graziano Steffen Bernhard

International Journal of Parallel Programming, Vol. 33, Iss. 6, 2005-12 ,pp. : 585-611

Springer Publishing Company

Access to resources Recommend Favorite

Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System: Special Section on Automated Verification of Infinite-State Systems

By Apvrille L.

Automated Software Engineering, Vol. 11, Iss. 2, 2004-04 ,pp. : 167-191

Springer Publishing Company

Access to resources Recommend Favorite

Runtime Verification on Robotics Systems

International Journal of Robotics Applications and Technologies (IJRAT), Vol. 3, Iss. 1, 2015-01 ,pp. : 23-40

IGI Global_journal

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

Membrane systems with carriers

By Martn-Vide C. Paun

Theoretical Computer Science, Vol. 270, Iss. 1, 2002-01 ,pp. : 779-796

Elsevier

Access to resources Recommend Favorite