PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Bensalem, Saddek"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Statistical abstraction and model-checking of large heterogeneous systems.

, , , , und . STTT, 14 (1): 53-72 (2012)

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.

Keine Personen gefunden für den Autorennamen Bensalem, Saddek
Eine Person hinzufügen mit dem Namen Bensalem, Saddek
 

Weitere Publikationen von Autoren mit dem selben Namen

Generating Path Conditions for Timed Systems., , , und . IFM, Volume 3771 von Lecture Notes in Computer Science, Seite 5-19. Springer, (2005)Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper)., , , , , , und . SEFM, Volume 10469 von Lecture Notes in Computer Science, Seite 401-407. Springer, (2017)A Verifiable and Correct-by-Construction Controller for Robots in Human Environments., , , , und . HRI (Extended Abstracts), Seite 281. ACM, (2015)Dynamic Deadlock Analysis of Multi-threaded Programs., und . Haifa Verification Conference, Volume 3875 von Lecture Notes in Computer Science, Seite 208-223. Springer, (2005)Knowledge Based Transactional Behavior., , , und . Haifa Verification Conference, Volume 7857 von Lecture Notes in Computer Science, Seite 40-55. Springer, (2012)TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm., , , , und . VECoS, Volume 10466 von Lecture Notes in Computer Science, Seite 171-188. Springer, (2017)Model Construction and Priority Synthesis for Simple Interaction Systems., , , , , und . NASA Formal Methods, Volume 6617 von Lecture Notes in Computer Science, Seite 466-471. Springer, (2011)D-Finder 2: Towards Efficient Correctness of Incremental Design., , , , , und . NASA Formal Methods, Volume 6617 von Lecture Notes in Computer Science, Seite 453-458. Springer, (2011)Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models., , , und . NFM, Volume 9058 von Lecture Notes in Computer Science, Seite 359-374. Springer, (2015)Automatic Generation of Path Conditions for Timed Systems., , , und . ISoLA (Preliminary proceedings), Volume TR-2004-6 von Technical Report, Seite 243-249. Department of Computer Science, University of Cyprus, (2004)