( en | de | ru )

 

Disambiguierung von "Fadlisyah, Muhammad"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude.

, , und . WRLA, Volume 7571 von Lecture Notes in Computer Science, Seite 139-161. Springer, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Muhammad Muhammad

Muhammad Al Muhammad

Muhammad Muhammad Sulaim n

Muhammad Nawaz

Muhammad Imran

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude., , und . WRLA, Volume 7571 von Lecture Notes in Computer Science, Seite 139-161. Springer, (2012)Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems., , und . TTSS, Volume 274 von Electronic Notes in Theoretical Computer Science, Seite 17-32. Elsevier, (2010)The HI-Maude Tool., und . CALCO, Volume 8089 von Lecture Notes in Computer Science, Seite 322-327. Springer, (2013)A Rewriting-Logic-Based Technique for Modeling Thermal Systems, , , und . RTRTS, Volume 36 von EPTCS, Seite 82-100. (2010)Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude., , und . SEFM, Volume 7041 von Lecture Notes in Computer Science, Seite 415-430. Springer, (2011)Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?, , und . Sci. Comput. Program., (2015)