( en | de | ru )

 

Disambiguierung von "Bhatt, Devesh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Requirements-Driven Model Checking and Test Generation for Comprehensive Verification.

, , , , , und . NFM, Volume 13260 von Lecture Notes in Computer Science, Seite 576-596. Springer, (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.

Lavinia Bhatt

Alpana Bhatt

Charoovadan Bhatt

Sita Bhatt

Christa Bhatt

 

Weitere Publikationen von Autoren mit dem selben Namen

A Design Notation and Toolset for High-Performance Embedded Systems Development., und . European Educational Forum: School on Embedded Systems, Volume 1494 von Lecture Notes in Computer Science, Seite 249-267. Springer, (1996)A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules., , , , und . SEKE, Seite 179-184. Knowledge Systems Institute Graduate School, (2007)Requirements-Driven Model Checking and Test Generation for Comprehensive Verification., , , , , und . NFM, Volume 13260 von Lecture Notes in Computer Science, Seite 576-596. Springer, (2022)Implementing a distributed fault-tolerant embedded system in Ada.. TRI-Ada, Seite 323-331. ACM, (1990)Quantifying Error Propagation in Data Flow Models., , , und . ECBS, Seite 2-11. IEEE Computer Society, (2013)An Instrumental Testbed for Real-Time Distributed Systems Development., , und . RTSS, Seite 241-250. IEEE Computer Society, (1987)A High-Performance, Multi-Link, Multi-Protocol Data Link Controller for an Experimental Distributed Computer Testbed., , , , und . ICDCS, Seite 398-405. IEEE Computer Society, (1984)SPI: an instrumentation development environment for parallel/distributed systems., , , , und . IPPS, Seite 494-501. IEEE Computer Society, (1995)Auto Source Code Generation and Run-Time Infrastructure and Environment for High Performance, Distributed Computing Systems., , , und . IPDPS Workshops, Volume 1800 von Lecture Notes in Computer Science, Seite 816-822. Springer, (2000)Workshop on Embedded/Distributed HPC Systems and Applications (EHPC 2000)., und . IPDPS Workshops, Volume 1800 von Lecture Notes in Computer Science, Seite 773-775. Springer, (2000)