( en | de | ru )

 

Disambiguation of "Votintseva, Anjelika"

Author of the publication

copydeleteadd this publication to your clipboard
Supporting UML-based development of embedded systems by formal techniques.

, , , , and . Softw. Syst. Model., 7 (2): 131-155 (2008)

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.

No persons found for author name Votintseva, Anjelika
add a person with the name Votintseva, Anjelika
 

Other publications of authors with the same name

Supporting UML-based development of embedded systems by formal techniques., , , , and . Softw. Syst. Model., 7 (2): 131-155 (2008)Analysis of a Complex System for Electrical Mobility Using a Model-Based Engineering Approach Focusing on Simulation., , and . Complex Adaptive Systems, volume 6 of Procedia Computer Science, page 57-62. Elsevier, (2011)Experience report: Formal verification and testing in the development of embedded software., and . ISSRE, page 293-302. IEEE Computer Society, (2015)A discrete-time UML semantics for concurrency and communication in safety-critical applications., , , and . Sci. Comput. Program., 55 (1-3): 81-115 (2005)The ETSI Test Description Language TDL and its Application., , , and . MODELSWARD, page 601-608. SciTePress, (2014)Rapid Prototyping Platform for Multi-stakeholder Involvement in the Design of User Interaction.. HCI (1), volume 14011 of Lecture Notes in Computer Science, page 302-313. Springer, (2023)Application of Generative Design in Social Manufacturing., , , and . HCI (40), volume 1583 of Communications in Computer and Information Science, page 309-316. Springer, (2022)Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML., , , and . FMCO, volume 2852 of Lecture Notes in Computer Science, page 71-98. Springer, (2002)Let's Talk About Strategy: Faktoren beim Etablieren von UX- Strategien., , , and . UP, page 467. Gesellschaft für Informatik e.V. und German UPA e.V., (2023)Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings., , , and . ECMFA, volume 7349 of Lecture Notes in Computer Science, page 20-31. Springer, (2012)