BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Korea
1 × USA
Collaborated with:
H.O.d.Almeida G.Ferreira E.Loureiro L.D.d.Silva F.M.Bublitz L.C.Silva S.O.D.Luiz A.Perkusich
Talks about:
model (5) petri (2) check (2) net (2) approach (1) softwar (1) environ (1) system (1) specif (1) signag (1)

Person: Elthon A. S. Oliveira

DBLP DBLP: Oliveira:Elthon_A=_S=

Contributed to:

SEKE 20132013
SAC 20072007

Wrote 3 papers:

SEKE-2013-BublitzSOLAP #adaptation #pervasive #petri net #specification
A Petri Net Model Specification for Delivering Adaptable Ads through Digital Signage in Pervasive Environments (FMB, LCS, EASO, SODL, HOdA, AP), pp. 405–410.
SAC-2007-FerreiraLO #approach #java #model checking
A Java code annotation approach for model checking software systems (GF, EL, EASO), pp. 1536–1537.
SAC-2007-OliveiraAS #component #formal method #model checking #modelling #petri net #using #verification
Formal modelling and verification of a component model using coloured petri nets and model checking (EASO, HOdA, LDdS), pp. 1427–1431.

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.