scientific article
From MaRDI portal
Publication:3023537
zbMath1082.68018MaRDI QIDQ3023537
Publication date: 5 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finite state machinesabstract state machineformal operational semanticsextended Backus-Naur formalisminstruction languagelexical grammar and signature languageUSL language
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication: