Author-Viliamsimko on D3S https://d3s.mff.cuni.cz/tags/author-viliamsimko/ Recent content in Author-Viliamsimko on D3S Hugo en Formal Verification of Annotated Textual Use-Cases https://d3s.mff.cuni.cz/publications/simko_formal_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/simko_formal_2015/ From Textual Use-Cases to Component-Based Applications https://d3s.mff.cuni.cz/publications/simko_from_2010/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/simko_from_2010/ Verifying Temporal Properties of Use-Cases in Natural Language https://d3s.mff.cuni.cz/publications/simko_verifying_2012/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/simko_verifying_2012/