%0 Conference Paper %1 conf/arch/RamezaniDFA21 %A Ramezani, Zahra %A Donzé, Alexandre %A Fabian, Martin %A Åkesson, Knut %B ARCH@ADHS %D 2021 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K dblp %P 195-202 %T Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators. %U http://dblp.uni-trier.de/db/conf/arch/arch2021.html#RamezaniDFA21 %V 80

@inproceedings{conf/arch/RamezaniDFA21, added-at = {2022-01-03T00:00:00.000+0100}, author = {Ramezani, Zahra and Donzé, Alexandre and Fabian, Martin and Åkesson, Knut}, biburl = {https://www.bibsonomy.org/bibtex/20d7ba30479e37f1b2cfadd4192512b5b/dblp}, booktitle = {ARCH@ADHS}, crossref = {conf/arch/2021}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {https://doi.org/10.29007/q4k7}, interhash = {8b5bf72d696d2ebaaab502531e8c0809}, intrahash = {0d7ba30479e37f1b2cfadd4192512b5b}, keywords = {dblp}, pages = {195-202}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T11:51:51.000+0200}, title = {Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators.}, url = {http://dblp.uni-trier.de/db/conf/arch/arch2021.html#RamezaniDFA21}, volume = 80, year = 2021 }