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: Fadlisyah:Muhammad
Contributed to:
2012
2011Wrote 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Ö, EÁ), 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Ö, EÁ), pp. 415–430.