BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
process (2)
formal (2)
tool (1)
specif (1)
use (1)

Stem faust$ (all stems)

4 papers:

TACASTACAS-2015-SoudjaniGA #abstraction #probability #process
FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes (SEZS, CG, AA), pp. 272–286.
FLOPSFLOPS-2014-BarkatiWJ #interpreter #multi #named
Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing — System Description (KB, HW, PJ), pp. 69–85.
RERE-2003-RifautMMPSLV #analysis #formal method #named #specification #tool support #using
FAUST: Formal Analysis Using Specification Tools (AR, PM, JFM, CP, PS, AvL, HTV), p. 350.
CADECADE-1992-SchneiderKK #proving
The FAUST — Prover (KS, RK, TK), pp. 766–770.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.