( en | de | ru )

 

Disambiguierung von "Frydman, Claudia S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods.

, , und . DS-RT, Seite 155-162. IEEE Computer Society, (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.

Claudia S Segschneider-Christoph

S Danischewski

S Hüttelmaier

S Leopold

S Steinlechner

 

Weitere Publikationen von Autoren mit dem selben Namen

A Pattern-based Approach for Semantic Retrieval of Information Resources in Enterprises - Application Within STMicroelectronics., , , und . ICEIS (1), Seite 193-200. SciTePress, (2014)Timed synchronizing sequences., und . SpringSim (TMS-DEVS), Seite 21. ACM, (2014)Adapting model-based testing techniques to DEVS models validation., , und . SpringSim (TMS-DEVS), Seite 6. SCS/ACM, (2012)LSIS_DME M&S environment extended by dynamic hierarchical structure DEVS modeling approach., , und . SpringSim (2), Seite 227-234. SCS/ACM, (2007)A conceptual framework for the analysis, classification and choice of knowledge-based diagnosis systems., , und . Int. J. Knowl. Based Intell. Eng. Syst., 10 (2): 113-138 (2006)CML-DEVS: A specification language for DEVS conceptual models., , und . Simul. Model. Pract. Theory, (2015)Modeling and Simulation of the SARS-COV-2 Lung Infection and Immune Response with Cell-DEVS., , und . WSC, Seite 1196-1207. IEEE, (2023)Modeling waiting systems from domain expert specifications., , und . WSC, Seite 456-460. IEEE Computer Society, (2005)Applying SMT Solvers to the Test Template Framework, und . MBT, Volume 80 von EPTCS, Seite 28-42. (2012)Using DEVS for an Extended UML., , und . Software Engineering Research and Practice, Seite 903-908. CSREA Press, (2004)