Indices
This title is listed in the following:
Close
Reference Hub
This research has been cited in:
Article
Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control SystemsIEEE Access10.1109/ACCESS.2018.2878896 Article
A systematic approach to generate B preconditions: application to the database domainSoftware & Systems Modeling10.1007/s10270-008-0098-8 Conference
A Case Study on Code Generation of an ERP System from Event-B2015 IEEE International Conference on Software Quality, Reliability and Security10.1109/QRS.2015.34 Conference
Web Marine Spatial Information Service Based on Electronic Nautical ChartsEighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007)10.1109/SNPD.2007.406 Conference
PostB: The Post-condition Extension onto the B-Method5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007)10.1109/SERA.2007.107 Article
Using formal metamodels to check consistency of functional views in information systems specificationInformation and Software Technology10.1016/j.infsof.2007.10.007 Chapter
Designing Operating Rules for ERTMS Transnational LinesOperating Rules and Interoperability in Trans-National High-Speed Rail10.1007/978-3-030-72003-2_6
Close Top Results From Your Most Recent Search
Close