( en | de | ru )

 

Disambiguierung von "Vuotto, Simone"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals.

, , , und . NFM, Volume 10811 von Lecture Notes in Computer Science, Seite 383-398. Springer, (2018)

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.

Simone Altmann

Funktionelle Analyse von 13-Lipoxygenaseabgeleiteten Oxylipinen in der Pathogenabwehr von Solanum tuberosum L.. NA Halle-Wittenberg, (2009)

Simone Aymanns

Charakterisierung des rgf-Regulators aus Streptococcus agalactiae. Uni Ulm, (2009)

Simone Tuchen

Untersuchungen zur Konzentrationsbestimmung in der vorderen Augenkammer nach topischer Applikation von Voriconazol und Caspofungin auf die Hornhaut von Kaninchen. Uni Magdeburg, (2009)

Simone Niederhöfer

Stressbelastung bei Pferden in Abhängigkeit des Haltungssystems. TierH Hannover, (2009)

Simone Ulke

Synthese und Charakterisierung poröser sprüh- und ofengetrockneter Silika- und Hybridgele. Uni Münster, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals., , , und . NFM, Volume 10811 von Lecture Notes in Computer Science, Seite 383-398. Springer, (2018)Automata based test generation with SpecPro., , , und . RET@ICSE, Seite 13-16. IEEE / ACM, (2019)Automated Requirements-Based Testing of Black-Box Reactive Systems., , , und . NFM, Volume 12229 von Lecture Notes in Computer Science, Seite 153-169. Springer, (2020)Automata-Based Generation of Test Cases for Reactive Systems.. CPS Summer School, PhD Workshop, Volume 2457 von CEUR Workshop Proceedings, Seite 96-106. CEUR-WS.org, (2019)SMT-Based Consistency Checking of Configuration-Based Components Specifications., , und . IEEE Access, (2021)Poster: Automatic Consistency Checking of Requirements with ReqV., , , und . ICST, Seite 363-366. IEEE, (2019)