( en | de | ru )

 

Disambiguierung von "Mateescu, Radu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Compositional verification of concurrent systems by combining bisimulations.

, , und . Formal Methods Syst. Des., 58 (1-2): 83-125 (2021)

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.

Radu Mateescu

Gabriel Mateescu

Markus Mateescu

Ioan Mateescu

Mihai Mateescu

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated Transition Coverage in Behavioural Conformance Testing., , und . ICTSS, Volume 12543 von Lecture Notes in Computer Science, Seite 219-235. Springer, (2020)A Framework for Developing DevOps Operation Automation in Clouds using Components-off-the-Shelf., , , , und . ICPE, Seite 265-276. ACM, (2021)R-MOZART: A Reconfiguration Tool for WebThings Applications., , , , und . ICSE (Companion Volume), Seite 41-44. IEEE, (2021)Reflections on Bernhard Steffen's Physics of Software Tools., und . Models, Mindsets, Meta, Volume 11200 von Lecture Notes in Computer Science, Seite 186-207. Springer, (2018)Rigorous design and deployment of IoT applications., , , , und . FormaliSE@ICSE, Seite 21-30. IEEE / ACM, (2019)Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits., , , , und . ASYNC, Seite 34-42. IEEE Computer Society, (2018)On-the-fly state space reductions for weak equivalences.. FMICS, Seite 80-89. ACM, (2005)Seamless Reconfiguration of Rule-based IoT Applications., , , , und . SEAMS@ICSE, Seite 142-148. IEEE, (2021)Models and analysis for user-driven reconfiguration of rule-based IoT applications., , , , und . Internet Things, (2022)Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks., , , und . MARS@ETAPS, Volume 316 von EPTCS, Seite 200-239. (2020)