PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Vinárek, Jirí"

Author of the publication

copydeleteadd this publication to your clipboard
A Method for Semi-automated Generation of Test Scenarios Based on Use Cases.

, , , , and . EUROMICRO-SEAA, page 241-244. IEEE Computer Society, (2015)

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 Vinárek, Jirí
add a person with the name Vinárek, Jirí
 

Other publications of authors with the same name

A Method for Semi-automated Generation of Test Scenarios Based on Use Cases., , , , and . EUROMICRO-SEAA, page 241-244. IEEE Computer Society, (2015)Simultaneous representations of groups.. Discrete Mathematics, 108 (1-3): 211-216 (1992)Recovering Traceability Links Between Code and Specification Through Domain Model Extraction., , , and . EOMAS@CAiSE, volume 191 of Lecture Notes in Business Information Processing, page 187-201. Springer, (2014)Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems., and . FESCA@ETAPS, volume 205 of EPTCS, page 59-68. (2016)Extensions of Symmetric Hom-Functors to the Kleisli Category.. FCT, volume 117 of Lecture Notes in Computer Science, page 394-399. Springer, (1981)Verification of Use-Cases with FOAM Tool in Context of Cloud Providers., , and . EUROMICRO-SEAA, page 151-158. IEEE Computer Society, (2015)Dynamic Security Specification Through Autonomic Component Ensembles., , , , , and . ISoLA (3), volume 11246 of Lecture Notes in Computer Science, page 172-185. Springer, (2018)