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 × Estonia
1 × Uruguay
Collaborated with:
P.C.Ölveczky E.Ábrahám
Talks about:
analysi (2) formal (2) model (2) maud (2) interact (1) exposur (1) system (1) orient (1) object (1) hybrid (1)

Person: Muhammad Fadlisyah

DBLP DBLP: Fadlisyah:Muhammad

Contributed to:

WRLA 20122012
SEFM 20112011

Wrote 2 papers:

WRLA-2012-FadlisyahOA #analysis #formal method #modelling
Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude (MF, PCÖ, ), pp. 139–161.
SEFM-2011-FadlisyahOA #analysis #formal method #hybrid #modelling #object-oriented
Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude (MF, PCÖ, ), pp. 415–430.

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.