( en | de | ru )

 

Disambiguation of "Ioustinova, Natalia"

Author of the publication

copydeleteadd this publication to your clipboard
Timed Verification with µCRL.

, , and . Ershov Memorial Conference, volume 2890 of Lecture Notes in Computer Science, page 178-192. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Natalia Seller

Ichthyosis vulgaris: novel FLG mutations in the German population and high presence of dentritic cells in the epidermis of the atopic subgroup. Uni Münster, (2009)

Natalia Seiden

Natalia Meyer

Natalia Kühn

Natalia Bajraszewski

 

Other publications of authors with the same name

Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction, , and . Electronic Notes in Theoretical Computer Science, (October 2007)MR: Stark formalisiertes und mathematisch ergründetes Werk. Basierend auf der Spezifikation des IUT (gegeben in LTS) wird der Lösungsraum durch data abstraction eingeengt (mittels µCRL). Mittels enumerativ tools (wie TGV) werden dann abstrakte Testfälle generiert. Die konkreten Daten (Ein und Ausgaben!) werden mittels constraint-solving techniques (mittels Prolog) ermittelt. Future Work soll ermöglichen UML-Spezifikationen als Eingabe zu erlauben und die Testfälle sollen in TTCN-3 generiert werden! Spätestens dann wird dieser Ansatz für IST-SPL sehr interessant..Synchronous Closing and Flow Analysis for Model Checking Timed Systems., , and . FMCO, volume 3188 of Lecture Notes in Computer Science, page 292-313. Springer, (2003)TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking., , , and . CCECE, page 620-623. IEEE, (2006)Using Fairness to Make Abstractions Work., , and . SPIN, volume 2989 of Lecture Notes in Computer Science, page 198-215. Springer, (2004)Refinement and Verification Applied to an In-Flight Data Acquisition Unit., , , , , and . CONCUR, volume 2421 of Lecture Notes in Computer Science, page 1-23. Springer, (2002)A Transformation of SDL Specifications - A Step towards the Verification., and . Ershov Memorial Conference, volume 2244 of Lecture Notes in Computer Science, page 64-78. Springer, (2001)Data Abstraction and Constraint Solving for Conformance Testing., , , and . APSEC, page 541-548. IEEE Computer Society, (2005)Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen., , and . GI Jahrestagung (2), volume P-94 of LNI, page 257-261. GI, (2006)Bug Hunting with False Negatives., , , and . IFM, volume 4591 of Lecture Notes in Computer Science, page 98-117. Springer, (2007)Closing Open SDL-Systems for Model Checking with DTSpin., , and . FME, volume 2391 of Lecture Notes in Computer Science, page 531-548. Springer, (2002)