( en | de | ru )

 

Disambiguierung von "Corella, Francisco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Multiway Decision Graphs for Automated Hardware Verification.

, , , , und . Formal Methods Syst. Des., 10 (1): 7-46 (1997)

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.

Francisco Gaona

Francisco Castellanos

Francisco Cardiel

Francisco Garcés

Francisco Carabelli

 

Weitere Publikationen von Autoren mit dem selben Namen

Cooperative Responses to Boolean Queries., , , und . ICDE, Seite 77-85. IEEE Computer Society, (1984)Frictionless Web Payments with Cryptographic Cardholder Authentication., und . HCI (LBP), Volume 11786 von Lecture Notes in Computer Science, Seite 468-483. Springer, (2019)Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs., , , , und . CAV, Volume 1427 von Lecture Notes in Computer Science, Seite 219-231. Springer, (1998)Multiway Decision Graphs for Automated Hardware Verification., , , , und . Formal Methods Syst. Des., 10 (1): 7-46 (1997)Expertsheets: A Spreadsheet Paradigm for Authoring Expert Systems., und . SEKE, Seite 25-31. Knowledge Systems Institute, (1996)A Fast Implementation of DES and Triple-DES on PA-RISC 2.0.. WIESS, Seite 83-84. USENIX, (2000)Semantic Retrieval and Levels of Abstraction.. Expert Database Workshop, Seite 91-114. Benjamin/Cummings, (1984)Identity-based protocol design patterns for machine-to-machine secure channels., und . CNS, Seite 91-96. IEEE, (2014)State enumeration with abstract descriptions of state machines., , , , und . CHARME, Volume 987 von Lecture Notes in Computer Science, Seite 146-160. Springer, (1995)Partitioning transition relations efficiently and automatically., , , , und . Great Lakes Symposium on VLSI, Seite 106-111. IEEE Computer Society, (1995)