Citation Details
Chapter
ProB: A Model Checker for B
FME 2003: Formal Methods, 2003, Volume 2805
ISBN : 978-3-540-40828-4
313 Items cite this Chapter
Conference Paper
A Correct by Construction Model for CBPS Systems Verification
Conference: 2023 IEEE Symposium on Computers and Communications (ISCC), Year: 2023, Page 1299
DOI: 10.1109/ISCC58397.2023.10217842
Read OnlineArticle
Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems
Journal: IEEE Transactions on Reliability, 2016, Volume 65, Number 1, Page 88
Read OnlineArticle
Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa"
Journal: Electronic Proceedings in Theoretical Computer Science, 2017, Volume 240, Page 82
DOI: 10.4204/EPTCS.240.6
Read OnlineConference Paper
Towards Specification Based Testing for Semantic Web Services
Conference: 2009 Australian Software Engineering Conference, Year: 2009, Page 54
Read OnlineChapter
FM 2009: Formal Methods
Series: Lecture Notes in Computer Science, Year: 2009, Volume 5850, Page 708
DOI: 10.1007/978-3-642-05089-3_45
Read OnlineChapter
Testing of Software and Communicating Systems
Series: Lecture Notes in Computer Science, Year: 2007, Volume 4581, Page 212
DOI: 10.1007/978-3-540-73066-8_15
Read OnlineChapter
Formal Methods and Software Engineering
Series: Lecture Notes in Computer Science, Year: 2015, Volume 9407, Page 312
DOI: 10.1007/978-3-319-25423-4_20
Read OnlineChapter
Formal Methods: Foundations and Applications
Series: Lecture Notes in Computer Science, Year: 2016, Volume 10090, Page 3
DOI: 10.1007/978-3-319-49815-7_1
Read OnlineConference Paper
An Event-B Formal Model of a Traffic Light System In Sunway Smart City
Conference: 2023 IEEE International Conference on Automatic Control and Intelligent Systems (I2CACIS), Year: 2023, Page 103
DOI: 10.1109/I2CACIS57635.2023.10193259
Read OnlineChapter
Formal Methods and Software Engineering
Series: Lecture Notes in Computer Science, Year: 2005, Volume 3785, Page 345
DOI: 10.1007/11576280_24
Read Onlinecitation rank
Citations per year
 | | | | | | | | | | | | | | | | | | | | |
| 2004 | 2024 | |||||||||||||||||||
© 2024 Springer. Part of Springer Nature.