BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
S.Salamah M.Engskow I.Gallegos A.Q.Gates S.Roach C.Vela
Talks about:
properti (2) specif (2) automata (1) prospec (1) generat (1) consist (1) system (1) formal (1) check (1) büchi (1)

Person: Omar Ochoa

DBLP DBLP: Ochoa:Omar

Contributed to:

SEKE 20122012
SEKE 20082008

Wrote 2 papers:

SEKE-2012-SalamahEO #automaton #consistency #ltl #using
Consistency Checks of System Properties Using LTL and Büchi Automata (SS, ME, OO), pp. 39–44.
SEKE-2008-GallegosOGRSV #generative #specification
A Property Specification Tool for Generating Formal Specifications: Prospec 2.0 (IG, OO, AQG, SR, SS, CV), pp. 273–278.

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.