Results 291 to 300 of about 1,360,419 (300)

The formal semantics of SDL-2000: Status and perspectives

Computer Networks, 2003
exaly  

Formal Semantics for Processing Exceptions

The KIPS Transactions PartA, 2010
exaly  

Towards a formal semantics of social influence

Knowledge-Based Systems, 2014
exaly  

Formal syntax and semantics of basic function blocks in IEC 61499

Proceedings of the Institution of Mechanical Engineers, Part C: Journal of Mechanical Engineering Science, 2012
exaly  

Research on Formal Semantics with Networks

2011
exaly  

Formal Semantics of OWL-S with Rewrite Logic

Journal of Software Engineering and Applications, 2009
exaly  

Is Semantics Formal?

2015
openaire   +1 more source

Formal semantics

2003
openaire   +1 more source

Formal Semantics

2007
openaire   +1 more source

A Formal Executable Semantics of PROMELA

Byoungho Son, Kyungmin Bae
openaire   +1 more source