( en | de | ru )

 

Disambiguierung von "Matteplackel, Raj Mohan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formalizing Timing Diagram Requirements in Discrete Duration Calulus.

, , und . CoRR, (2017)

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.

Sarbani Mohan

Vandana Mohan

Mohan Choudhary

Mohan Noronha

Resmi Mohan

 

Weitere Publikationen von Autoren mit dem selben Namen

Averaging in LTL., , und . CONCUR, Volume 8704 von Lecture Notes in Computer Science, Seite 266-280. Springer, (2014)Conflict-tolerant specifications in temporal logic., , und . ISEC, Seite 103-110. ACM, (2010)DCSynth: Guided Reactive Synthesis with Soft Requirements., , und . VSTTE, Volume 12031 von Lecture Notes in Computer Science, Seite 124-142. Springer, (2019)Formalizing Timing Diagram Requirements in Discrete Duration Calulus., , und . CoRR, (2017)Formalizing Timing Diagram Requirements in Discrete Duration Calculus., , und . SEFM, Volume 10469 von Lecture Notes in Computer Science, Seite 253-268. Springer, (2017)DCSYNTH: A Tool for Guided Reactive Synthesis with Soft Requirements., , und . CoRR, (2019)A Compositional Hierarchical Monitoring Automaton Construction for LTL., und . ICTAC, Volume 7521 von Lecture Notes in Computer Science, Seite 16-29. Springer, (2012)