( en | de | ru )

 

Disambiguierung von "Cavalli, Ana R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Proof of Specification Properties by Using Finite State Machines and Temporal Logic.

, und . PSTV, Seite 221-233. North-Holland, (1987)

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.

Fabrizia Cavalli

Alessandra Cavalli-Wordel

Francesco Cavalli-Sforza

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

A passive testing approach based on invariants: application to the WAP, , , und . Comput. Networks, 48 (2): 235-245 (2005)A modal based verification for LOTOS., und . FORTE, Volume 6 von IFIP Conference Proceedings, Seite 215-217. Chapman & Hall, (1994)Different Approaches to Protocol and Service Testing.. IWTCS, Volume 147 von IFIP Conference Proceedings, Seite 3-18. Kluwer, (1999)Standardization of Formal Methods in Conformance Testing of Communication Protocols., , und . Computer Networks and ISDN Systems, 29 (1): 3-14 (1996)Special issue on formal active and passive testing of distributed and networked systems., , und . Ann. des Télécommunications, 70 (3-4): 83-84 (2015)An Analysis of Secure M2M Communication in WSNs Using DTLS., , und . ICDCS Workshops, Seite 78-83. IEEE Computer Society, (2016)Smart Measurements and Analysis for Software Quality Enhancement., , , und . ICSOFT (Selected Papers), Volume 1077 von Communications in Computer and Information Science, Seite 194-219. Springer, (2018)TestNet: Let's Test Together!., , und . TestCom, Volume 2644 von Lecture Notes in Computer Science, Seite 258-264. Springer, (2003)A Study of Threat Detection Systems and Techniques in the Cloud., , und . CRiSIS, Volume 10694 von Lecture Notes in Computer Science, Seite 140-155. Springer, (2017)Formal Verification of Coordination Systems' Requirements - A Case Study on the European Train Control System., und . SEKE, Seite 393-396. Knowledge Systems Institute Graduate School, (2014)