Proof systems for structured specifications with observability operators

Author： Hennicker R. Wirsing M. Bidoit M.

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.173, Iss.2, 1997-02, pp. : 393-443

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

Logical systems for structured specifications

By Borzyszkowski T.

Theoretical Computer Science, Vol. 286, Iss. 2, 2002-09 ,pp. : 197-245

Elsevier

Access to resources Recommend Favorite

Synthesizing structured analysis and object‐based formal specifications

By Coleman David

Annals of Software Engineering, Vol. 3, Iss. 1, 1997-01 ,pp. : 221-253

Springer Publishing Company

Access to resources Recommend Favorite

Recursive controllability and observability tests for large dynamic systems

By Zybin E. Misrikhanov M. Ryabchenko V.

Automation and Remote Control, Vol. 67, Iss. 5, 2006-05 ,pp. : 783-795

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Observability of the Hybrid Linear Systems with Constant Coefficients

By Shcheglova A. A.

Automation and Remote Control, Vol. 65, Iss. 11, 2004-11 ,pp. : 1767-1781

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Proof-Guided Test Selection from First-Order Specifications with Equality

By Longuet Delphine Aiguier Marc Le Gall Pascale

Journal of Automated Reasoning, Vol. 45, Iss. 4, 2010-12 ,pp. : 437-473

Springer Publishing Company

Access to resources Recommend Favorite