Deriving CORBA Applications from Formal Specifications

By Krämer B.J.   Völker N.   Lichtenecker R.   Kötter H.-F.  

Journal of Systems Integration, Vol. 8, Iss. 2, 1998-05 ,pp. : 143-158

Springer Publishing Company

Access to resources Recommend Favorite

Assumption/guarantee specifications in linear-time temporal logic

By Jonsson B.   Yih-Kuen T.  

Theoretical Computer Science, Vol. 167, Iss. 1, 1996-10 ,pp. : 47-72

Elsevier

Access to resources Recommend Favorite

An algorithmic approach for checking closure properties of temporal logic specifications and -regular languages

By Peled D.   Wilke T.   Wolper P.  

Theoretical Computer Science, Vol. 195, Iss. 2, 1998-03 ,pp. : 183-203

Elsevier

Access to resources Recommend Favorite

From liveness to promptness

By Kupferman Orna   Piterman Nir   Vardi Moshe  

Formal Methods in System Design, Vol. 34, Iss. 2, 2009-04 ,pp. : 83-103

Springer Publishing Company

Access to resources Recommend Favorite

Fuzzy logic in the formulation of decision functions from linguistic specifications

By Yager Ronald R  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 25, Iss. 4, 1996-04 ,pp. : 119-130

Emerald Group Publishing Ltd

Access to resources Recommend Favorite