BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
N.Benes L.Brim M.Demko D.Safránek
Talks about:
synthesi (1) piecewis (1) parallel (1) paramet (1) system (1) pithya (1) multi (1) dynam (1) affin (1) tool (1)

Person: Samuel Pastva

DBLP DBLP: Pastva:Samuel

Contributed to:

CAV (1) 20172017

Wrote 1 papers:

CAV-2017-BenesBDPS #named #parallel #parametricity #synthesis
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems (NB, LB, MD, SP, DS), pp. 591–598.

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.