Chapter
FME 2003: Formal Methods, 2003, Volume 2805
ISBN : 978-3-540-40828-4
Conference Paper
Conference: 2023 IEEE Symposium on Computers and Communications (ISCC), Year: 2023, Page 1299
DOI: 10.1109/ISCC58397.2023.10217842
Read OnlineArticle
Journal: IEEE Transactions on Reliability, 2016, Volume 65, Number 1, Page 88
Read OnlineArticle
Journal: Electronic Proceedings in Theoretical Computer Science, 2017, Volume 240, Page 82
DOI: 10.4204/EPTCS.240.6
Read OnlineConference Paper
Conference: 2009 Australian Software Engineering Conference, Year: 2009, Page 54
Read OnlineChapter
Series: Lecture Notes in Computer Science, Year: 2009, Volume 5850, Page 708
DOI: 10.1007/978-3-642-05089-3_45
Read OnlineChapter
Series: Lecture Notes in Computer Science, Year: 2007, Volume 4581, Page 212
DOI: 10.1007/978-3-540-73066-8_15
Read OnlineChapter
Series: Lecture Notes in Computer Science, Year: 2015, Volume 9407, Page 312
DOI: 10.1007/978-3-319-25423-4_20
Read OnlineChapter
Series: Lecture Notes in Computer Science, Year: 2016, Volume 10090, Page 3
DOI: 10.1007/978-3-319-49815-7_1
Read OnlineConference Paper
Conference: 2023 IEEE International Conference on Automatic Control and Intelligent Systems (I2CACIS), Year: 2023, Page 103
DOI: 10.1109/I2CACIS57635.2023.10193259
Read OnlineChapter
Series: Lecture Notes in Computer Science, Year: 2005, Volume 3785, Page 345
DOI: 10.1007/11576280_24
Read Online