( en | de | ru )

 

Disambiguierung von "Verstoep, Kees"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs.

, , , , und . FORTE, Volume 8461 von Lecture Notes in Computer Science, Seite 17-32. Springer, (2014)

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.

Brigitte Kees

Brigitte Kees

Andreas Kees

Sabine Kees

Norbert Kees

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient Large-Scale Model Checking., , , und . Distributed Verification and Grid Computing, Volume 08332 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)Interpretable Multivariate Time Series Forecasting with Temporal Attention Convolutional Neural Networks., , und . SSCI, Seite 1687-1694. IEEE, (2020)CAPTURE: Memory-Centric Partitioning for Distributed DNN Training with Hybrid Parallelism., , , und . HiPC, Seite 76-86. IEEE, (2023)Taking ROCKET on an Efficiency Mission: Multivariate Time Series Classification with LightWaveS., , , und . DCOSS, Seite 149-152. IEEE, (2022)From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems., , , , , , und . NASA Formal Methods, Volume 7871 von Lecture Notes in Computer Science, Seite 244-260. Springer, (2013)Evaluating Design Alternatives for Reliable Communication on High-Speed Networks., , , , und . ASPLOS, Seite 71-81. ACM Press, (2000)Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs., , , , und . FORTE, Volume 8461 von Lecture Notes in Computer Science, Seite 17-32. Springer, (2014)Using Group Communication to Implement a Fault-Tolerant Directory Service., , und . ICDCS, Seite 130-139. IEEE Computer Society, (1993)Using Model Checking to Analyze the System Behavior of the LHC Production Grid., , , , , und . CCGRID, Seite 335-343. IEEE Computer Society, (2012)Assessing the impact of future reconfigurable optical networks on application performance., , , , und . IPDPS, Seite 1-8. IEEE, (2009)