( en | de | ru )

 

Disambiguierung von "Simmonds, Jocelyn"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC.

, , , und . FMCAD, Seite 3-12. IEEE Computer Society, (2007)

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.

Rebecca Simmonds

Jocelyn Heer

Jocelyn Braun

Jocelyn Buisson

Jocelyn Nembé

 

Weitere Publikationen von Autoren mit dem selben Namen

Runtime Monitoring of Web Service Conversations., , , , , , und . IEEE Trans. Serv. Comput., 2 (3): 223-244 (2009)Software process line discovery., , und . ICSSP, Seite 127-136. ACM, (2015)Lessons Learned From Introducing Preteens in Parent-Led Homeschooling to Computational Thinking., , , , , , und . SIGCSE, Seite 65-71. ACM, (2020)$\mu$ PrintGen: Supporting Workflow Logs Analysis Through Visual Microprint., , und . VISSOFT, Seite 45-49. IEEE, (2023)A megamodel for Software Process Line modeling and evolution., , , und . MoDELS, Seite 406-415. IEEE Computer Society, (2015)Mobile Application Monitoring., und . SCCC, Seite 30-32. IEEE Computer Society, (2013)MDE software process lines in small companies., , , und . J. Syst. Softw., 86 (5): 1153-1171 (2013)The Robot Operating System: Package reuse and community dynamics., , , und . J. Syst. Softw., (2019)Maintaining Consistency between UML Models Using Description Logic, , , und . Série L'objet - logiciel, base de données, réseaux, 10 (2-3): 231-244 (2004)Using Description Logic to Maintain Consistency between UML Models., , , und . UML, Volume 2863 von Lecture Notes in Computer Science, Seite 326-340. Springer, (2003)