✦ LIBER ✦

Formal specification and validation of railway network components using Z notation

✍ Scribed by Zafar, N.A.

Book ID: 114444994
Publisher: The Institution of Engineering and Technology
Year: 2009
Tongue: English
Weight: 765 KB
Volume: 3
Category: Article
ISSN: 1751-8806
DOI: 10.1049/iet-sen.2008.0082

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model validation for embedded systems us

Model validation for embedded systems using formal method-aided simulation

✍ Karlsson, D.; Eles, P.; Peng, Z. 📂 Article 📅 2008 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 520 KB

[Communications in Computer and Informat

[Communications in Computer and Information Science] Global Trends in Computing and Communication Systems Volume 269 || Formal Specification of Trusted Neighbor Information Base of OLSR Routing Protocol of Adhoc Network Using Z Language

✍ Krishna, P. Venkata; Babu, M. Rajasekhara; Ariwa, Ezendu 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 373 KB

This two-volume set, CCIS 0269-CCIS 0270, constitutes the refereed post-conference proceedings of the International Conference on Global Trends in Computing and Communication, ObCom 2011, held in Vellore, India, in December 2011. The 173 full papers presented together with a keynote paper and invite

Hardware/Software Co-Design of Complex E

Hardware/Software Co-Design of Complex Embedded Systems: An Approach Using Efficient Process Models, Multiple Formalism Specification and Validation via Co-Simulation

✍ Nikolaos S. Voros; Luis Sánchez; Alejandro Alonso; Alexios N. Birbas; Michael Bi 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 515 KB

The Definition of Components and the Use

The Definition of Components and the Use of Formal Indexes are Key Steps for a Successful Application of Network Analysis in Personality Psychology

✍ Giulio Costantini; Marco Perugini 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 207 KB

[IEEE 1st IEEE International Conference

[IEEE 1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03 - Brisbane, Queensland, Australia (2003.09.22-2003.09.27)] First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. - Animation of Object-Z specifications using a Z animator

✍ McComb, T.; Smith, G. 📂 Article 📅 2003 🏛 IEEE ⚖ 354 KB

[IEEE 25th Annual International Computer

[IEEE 25th Annual International Computer Software and Applications Conference. COMPSAC 2001 - Chicago, IL, USA (8-12 Oct. 2001)] 25th Annual International Computer Software and Applications Conference. COMPSAC 2001 - Formalization of software testing criteria using the Z notation

✍ Vilkomir, S.A.; Bowen, J.P. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 573 KB