Proof systems for structured specifications with observability operators

By Hennicker R.   Wirsing M.   Bidoit M.  

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

Elsevier

Access to resources Recommend Favorite

On algebraic and logical specifications of classes of regular languages

By Khoussainov B.  

Theoretical Computer Science, Vol. 298, Iss. 2, 2003-04 ,pp. : 325-346

Elsevier

Access to resources Recommend Favorite

Models and temporal logical specifications for timed component connectors

By Arbab Farhad   Baier Christel   Boer Frank   Rutten Jan  

Software and Systems Modeling (SoSyM), Vol. 6, Iss. 1, 2007-03 ,pp. : 59-82

Springer Publishing Company

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

Mythical systems: mathematic and logical theory

By  

International Journal of General Systems, Vol. 44, Iss. 1, 2015-01 ,pp. : 76-97

Taylor & Francis Ltd

Access to resources Recommend Favorite