( en | de | ru )

 

Disambiguierung von "Cavalcanti, Ana"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Correction to: Sound reasoning in tock-CSP.

, , und . Acta Informatica, 59 (2-3): 283 (2022)

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.

Ana Cavalcanti

Tiago Pérez Cavalcanti

Haroldo Cavalcanti Pinto

Ana Hanstedt

Beurteilung der Entwicklungskompetenz boviner Oozyten aus Follikeln mit unterschiedlicher Durchblutung der Follikelwand. TierH Hannover, (2009)

Ana-Sun ana Smith

 

Weitere Publikationen von Autoren mit dem selben Namen

Refactoring by Transformation, , und . Electronic Notes in Theoretical Computer Science, 70 (3): 311--330 (November 2002)Unifying theories in ProofPower-Z, , und . Formal Aspects of Computing, (2009)Unifying classes and processes., , und . Softw. Syst. Model., 4 (3): 277-296 (2005)Probabilistic modelling and verification using RoboChart and PRISM., , , , und . Softw. Syst. Model., 21 (2): 667-716 (2022)Automated Verification of Reactive and Concurrent Programs by Calculation., , , und . CoRR, (2020)Modelling and Verifying Robotic Software that Uses Neural Networks., , und . ICTAC, Volume 14446 von Lecture Notes in Computer Science, Seite 15-35. Springer, (2023)Avoiding useless mutants., , , , , , , , und . GPCE, Seite 187-198. ACM, (2017)Challenges in testing of cyclic systems., und . ICECCS, Seite 1-6. IEEE, (2023)RoboWorld: Where Can My Robot Work?, , und . SEFM, Volume 13085 von Lecture Notes in Computer Science, Seite 3-22. Springer, (2021)Specification and Validation of Normative Rules for Autonomous Agents., , , , und . FASE, Volume 13991 von Lecture Notes in Computer Science, Seite 241-248. Springer, (2023)