( en | de | ru )

 

Disambiguierung von "Herencia-Zapana, Heber"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System.

, , , , , , , , , , , , , , und . Syst., 9 (1): 18 (2021)

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.

Saskia Heber

Barbara Heber

Gerhard Heber

Helmut Heber

Bernd Heber

 

Weitere Publikationen von Autoren mit dem selben Namen

Modular Methods for Verification and Validation of Air Traffic Control Algorithms., und . Infotech@Aerospace, (2012)Towards a Theory of Sampled-Data Piecewise-Deterministic Markov Processes., , und . CDC, Seite 944-949. IEEE, (2006)Modeling and Stability Analysis of Nonlinear Sampled-Data Systems with Embedded Recovery Algorithms.. Old Dominion University, Norfolk, Virginia, USA, (2008)base-search.net (ftolddominionuni:oai:digitalcommons.odu.edu:ece_etds-1078).On cascades of bilinear systems and generating series of weighted Petri nets., , , und . CDC, Seite 4115-4120. IEEE, (2008)Small satellite systems design methodology: A formal and agile design process., , , und . SysCon, Seite 518-524. IEEE, (2014)Formalizing Probabilistic Safety Claims., , und . NASA Formal Methods, Volume 6617 von Lecture Notes in Computer Science, Seite 162-176. Springer, (2011)Bilinear system interconnections and generating series of weighted Petri nets., , , und . Syst. Control. Lett., 58 (12): 841-848 (2009)VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System., , , , , , , , , und 5 andere Autor(en). Syst., 9 (1): 18 (2021)Mean square stability analysis of sampled-data supervisory control systems., , , und . CCA, Seite 37-42. IEEE, (2008)Stochastic stability of nonlinear sampled data systems with a jump linear controller., , und . CDC, Seite 4128-4133. IEEE, (2004)