( en | de | ru )

 

Disambiguierung von "Aoki, Toshiaki"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A scalable Monte-Carlo test-case generation tool for large and complex simulink models.

, , , , und . MiSE@ICSE, Seite 39-46. ACM, (2019)

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.

Takako Aoki

Yohko Aoki

 

Weitere Publikationen von Autoren mit dem selben Namen

Collaboration-based verification of Object-Oriented models in HOL., , und . VVEIS, Seite 78-80. INSTICC Press, (2004)Conformance Testing of Schedulers for DSL-based Model Checking., und . SPIN, Volume 11636 von Lecture Notes in Computer Science, Seite 208-225. Springer, (2019)Evolution of a course on model checking for practical applications., , , , und . ACM SIGCSE Bull., 41 (2): 38-44 (2009)A Variability Management Method for Software Configuration Files., , und . SEKE, Seite 672-677. Knowledge Systems Institute Graduate School, (2012)A Method for Detecting Common Weaknesses in Self-Sovereign Identity Systems Using Domain-Specific Models and Knowledge Graph., , und . MODELSWARD, Seite 219-226. SCITEPRESS, (2022)An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol., , , und . FTSCS, Volume 419 von Communications in Computer and Information Science, Seite 36-53. Springer, (2013)Verifying OSEK/VDX OS Design Using Its Formal Specification., , , und . TASE, Seite 81-88. IEEE Computer Society, (2016)Domain-Specific Language Facilitates Scheduling in Model Checking., , und . APSEC, Seite 417-426. IEEE Computer Society, (2017)Reducing false positives of static analysis for SEI CERT C coding standard., , , , und . CESSER-IP@ICSE, Seite 41-48. IEEE / ACM, (2019)Towards Formal Description of Standards for Automotive Operating Systems., , , , , , und . ICST Workshops, Seite 13-14. IEEE Computer Society, (2013)