( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Specification and Refinement of Continuous Real-Time Systems.

, , и . ARTS, том 1231 из Lecture Notes in Computer Science, стр. 310-324. Springer, (1997)

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.

Alexander Ali Kevin

Arnaud Lanoix

Malgorzata Lanowska

Kevin Niwek

Kevin Niwek

 

Другие публикации лиц с тем же именем

Internet System Design for the Disabled Net., и . Software Engineering Research and Practice, стр. 956-962. CSREA Press, (2003)The UML as a Formal Modeling Notation, , , и . &\#171;UML&\#187; '98: Selected papers from the First International Workshop on The Unified Modeling Language &\#171;UML&\#187;'98, стр. 336--348. London, UK, Springer-Verlag, (1999)Specification of Required Non-determinism., , , и . FME, том 1313 из Lecture Notes in Computer Science, стр. 298-317. Springer, (1997)Semantics and Transformations for UML Models., и . UML, том 1618 из Lecture Notes in Computer Science, стр. 107-119. Springer, (1998)Mutation Operators for Object Constraint Language Specification., и . STAF Workshops, том 2999 из CEUR Workshop Proceedings, стр. 128-134. CEUR-WS.org, (2021)Null Considered Harmful (for Transformation Verification).. VOLT@STAF, том 1325 из CEUR Workshop Proceedings, стр. 26-35. CEUR-WS.org, (2014)Extracting Correspondences from Metamodels Using Metamodel Matching., и . STAF (Co-Located Events), том 2405 из CEUR Workshop Proceedings, стр. 3-8. CEUR-WS.org, (2019)Refinement Patterns for UML., , и . REFINE, том 137 из Electronic Notes in Theoretical Computer Science, стр. 131-149. Elsevier, (2005)KMEHR to FHIR case solution with UML-RSDS., и . Agile MDE/MeSS/TTC@STAF, том 3620 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)OCL-based test case prioritisation using AgileUML., и . MoDELS (Companion), стр. 607-611. ACM, (2022)