%0 Conference Paper %1 conf/modelsward/WalterMSDR19 %A Walter, Benedikt %A Martin, Jan %A Schmidt, Jonathan %A Dettki, Hanna %A Rudolph, Stephan %B MODELSWARD %D 2019 %E Hammoudi, Slimane %E Pires, Luís Ferreira %E Selic, Bran %I SciTePress %K dblp %P 193-200 %T Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design. %U http://dblp.uni-trier.de/db/conf/modelsward/modelsward2019.html#WalterMSDR19 %@ 978-989-758-358-2

@inproceedings{conf/modelsward/WalterMSDR19, added-at = {2020-01-20T00:00:00.000+0100}, author = {Walter, Benedikt and Martin, Jan and Schmidt, Jonathan and Dettki, Hanna and Rudolph, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/2b1801fe94200e688c833d991d5939100/dblp}, booktitle = {MODELSWARD}, crossref = {conf/modelsward/2019}, editor = {Hammoudi, Slimane and Pires, Luís Ferreira and Selic, Bran}, ee = {https://doi.org/10.5220/0007236601950202}, interhash = {c9fe8ac24d95085666c89c4879d0bc88}, intrahash = {b1801fe94200e688c833d991d5939100}, isbn = {978-989-758-358-2}, keywords = {dblp}, pages = {193-200}, publisher = {SciTePress}, timestamp = {2024-04-09T10:02:13.000+0200}, title = {Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design.}, url = {http://dblp.uni-trier.de/db/conf/modelsward/modelsward2019.html#WalterMSDR19}, year = 2019 }